SOS rule formats for zero and unit elements

DOI10.1016/J.TCS.2011.01.024MaRDI QIDQ549170zbMATH OpenOpenAlexWikidataFDO

Authors Yong-Cai Geng, Sumit K. Garg

Publication date 7 July 2011

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

Full work available at URL https://doi.org/10.1016/j.tcs.2011.01.024

zbMATH Keywords

bisimilarityrule formatsstructural operational semantics (SOS)unit elementszero elements

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

• On rule formats for zero and unit elements
• A rule format for unit elements
• A hierarchy of SOS rule formats
• SOS rule formats for idempotent terms and idempotent unary operators
• SOS rule formats for idempotent terms and idempotent unary operators
• Turning SOS rules into equations
• A syntactic commutativity format for SOS
• Rule formats for distributivity
• Rule formats for distributivity
• Rule formats for nominal process calculi

Cites work

• scientific article; zbMATH DE number 4016181 (Why is no real title available?)
• scientific article; zbMATH DE number 4160107 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3806938 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (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
• Axiomatizing GSOS with termination
• Bisimulation can't be traced
• Communicating sequential processes
• Discrete time process algebra
• Global renaming operators in concrete process algebra
• On rule formats for zero and unit elements
• Preferential choice and coordination conditions
• Process algebra for synchronous communication
• Process algebra with propositional signals
• 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.
• The \(\pi\)-calculus: A theory of mobile processes

Cited in

(6)

• Rule formats for distributivity
• Rule formats for distributivity
• 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: SOS 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 Q549170)