scientific article; zbMATH DE number 1479627

MaRDI QIDQ4490741zbMATH OpenFDO

Authors D. J. B. Bosscher

Publication date 20 July 2000

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)

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

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
• scientific article; zbMATH DE number 2086418 (Why is no real title available?)

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)