The Meaning of Ordered SOS

DOI10.1007/11944836_31MaRDI QIDQ5385997zbMATH OpenOpenAlexFDO

Authors

Publication date 17 April 2008

Published in FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11944836_31

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Semantics and expressiveness of ordered SOS
• The moment-SOS hierarchy
• Sós permutations
• CONCUR 2005 – Concurrency Theory
• Nominal SOS
• Ordering orders
• Order and effective order
• scientific article; zbMATH DE number 1981015
• A hierarchy of SOS rule formats

Cited in

(5)

• Semantics and expressiveness of ordered SOS
• Ordered SOS process languages for branching and eager bisimulations
• A hierarchy of SOS rule formats
• Some undecidable properties of SOS specifications
• SOS formats and meta-theory: 20 years after

This page was built for publication: The Meaning of Ordered SOS

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