Rule Formats for Determinism and Idempotence
From MaRDI portal
Publication:3400918
DOI10.1007/978-3-642-11623-0_8zbMath1274.68060OpenAlexW2126583699WikidataQ57745652 ScholiaQ57745652MaRDI QIDQ3400918
No author found.
Publication date: 28 January 2010
Published in: Fundamentals of Software Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11623-0_8
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