The Meaning of Ordered SOS

DOI10.1007/11944836_31zbMATH Open1177.68140OpenAlexW2156604895MaRDI QIDQ5385997FDOQ5385997

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (4)

• 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

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)