scientific article; zbMATH DE number 1479627

zbMATH Open0942.68619MaRDI QIDQ4490741FDOQ4490741

Authors: D. J. B. Bosscher 

Publication date: 20 July 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 7318985
• Axiomatizing GSOS with termination
• scientific article; zbMATH DE number 64019
• scientific article; zbMATH DE number 2086418
• Structured operational semantics and bisimulation as a congruence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Cited In (5)

• Generating priority rewrite systems for OSOS process languages
• Axiomatizing GSOS with termination
• A general conservative extension theorem in process algebras with inequalities
• PREG axiomatizer -- a ground bisimilarity checker for GSOS with predicates
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490741)