scientific article; zbMATH DE number 2086418

zbMATH Open1054.68090MaRDI QIDQ4736873FDOQ4736873

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

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

Recommendations

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

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)

Cited In (9)

• Abstract GSOS rules and a modular treatment of recursive definitions
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)