A Rule Format for Unit Elements
From MaRDI portal
Publication:3401088
DOI10.1007/978-3-642-11266-9_12zbMath1274.68169OpenAlexW1581920980WikidataQ57745620 ScholiaQ57745620MaRDI QIDQ3401088
No author found.
Publication date: 28 January 2010
Published in: SOFSEM 2010: Theory and Practice of Computer Science (Search for Journal in Brave)
Full work available at URL: https://research.tue.nl/nl/publications/ec7e1e4b-caac-451e-8c95-963d275a0b6d
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Proving the validity of equations in GSOS languages using rule-matching bisimilarity ⋮ On Rule Formats for Zero and Unit Elements ⋮ Rule formats for determinism and idempotence ⋮ Rule formats for distributivity ⋮ SOS rule formats for zero and unit elements