scientific article; zbMATH DE number 2086418

MaRDI QIDQ4736873zbMATH OpenFDO

Authors Erik de Vink, Jos C. M. Baeten

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2285/22850583.htm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Axiomatizing GSOS with termination
• scientific article; zbMATH DE number 7318985
• Publication:4490741
• SOS formats and meta-theory: 20 years after
• Rational operational models

Cited in

(9)

• Abstract GSOS rules and a modular treatment of recursive definitions
• scientific article; zbMATH DE number 7318985 (Why is no real title available?)
• scientific article; zbMATH DE number 1479627 (Why is no real title available?)
• A Terminating Evaluation-Driven Variant of G3i
• A syntactic commutativity format for SOS
• Axiomatizing GSOS with termination
• CCS with Hennessy's merge has no finite-equational axiomatization
• Automating soundness proofs
• Exploiting algebraic laws to improve mechanized axiomatizations

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 Q4736873)