On rule formats for zero and unit elements

DOI10.1016/J.ENTCS.2010.08.009MaRDI QIDQ3178250zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.08.009

zbMATH Keywords

bisimulation equivalencestructural operational semantics (SOS)zero elementunit elementGSOS format

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

• SOS rule formats for zero and unit elements
• A rule format for unit elements
• Rule formats for distributivity
• Rule formats for distributivity
• SOS rule formats for idempotent terms and idempotent unary operators

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A Rule Format for Associativity
• A bisimulation-based method for proving the validity of equations in GSOS languages
• A rule format for unit elements
• A structural approach to operational semantics
• A syntactic commutativity format for SOS
• Algebraic laws for nondeterminism and concurrency
• Bisimulation can't be traced
• Communicating sequential processes
• On rule formats for zero and unit elements
• Preferential choice and coordination conditions
• Process algebra with timing
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Rule formats for determinism and idempotence
• SOS formats and meta-theory: 20 years after
• Structural operational semantics.

Cited in

(8)

• Rule formats for distributivity
• Rule formats for distributivity
• SOS rule formats for zero and unit elements
• scientific article; zbMATH DE number 1956550 (Why is no real title available?)
• SOS rule formats for idempotent terms and idempotent unary operators
• SOS rule formats for idempotent terms and idempotent unary operators
• On rule formats for zero and unit elements
• A rule format for unit elements

This page was built for publication: On rule formats for zero and unit elements

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