On Rule Formats for Zero and Unit Elements
From MaRDI portal
Publication:3178250
DOI10.1016/j.entcs.2010.08.009zbMath1342.68189OpenAlexW2126737785WikidataQ57745631 ScholiaQ57745631MaRDI QIDQ3178250
No author found.
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
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
On Rule Formats for Zero and Unit Elements, Rule formats for distributivity, SOS rule formats for zero and unit elements
Cites Work
- A syntactic commutativity format for SOS
- Preferential choice and coordination conditions
- SOS formats and meta-theory: 20 years after
- Process algebra with timing
- A structural approach to operational semantics
- On Rule Formats for Zero and Unit Elements
- Rule Formats for Determinism and Idempotence
- A Rule Format for Unit Elements
- A Rule Format for Associativity
- Algebraic laws for nondeterminism and concurrency
- Communicating sequential processes
- Bisimulation can't be traced
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item