SOS rule formats for zero and unit elements

DOI10.1016/J.TCS.2011.01.024zbMATH Open1216.68152OpenAlexW2063085985WikidataQ57745599 ScholiaQ57745599MaRDI QIDQ549170FDOQ549170

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

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

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)

Cites Work

• A structural approach to operational semantics
• Structural operational semantics.
• Process algebra for synchronous communication
• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bisimulation can't be traced
• SOS formats and meta-theory: 20 years after
• Communicating sequential processes
• Process algebra with propositional signals
• The \(\pi\)-calculus: A theory of mobile processes
• Process algebra with timing
• Title not available (Why is that?)
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Rule formats for determinism and idempotence
• A rule format for unit elements
• A Rule Format for Associativity
• Title not available (Why is that?)
• A syntactic commutativity format for SOS
• Global renaming operators in concrete process algebra
• Axiomatizing GSOS with termination
• Discrete time process algebra
• On Rule Formats for Zero and Unit Elements
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Preferential choice and coordination conditions

Cited In (4)

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

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)