Rule Formats for Determinism and Idempotence

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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