A syntactic commutativity format for SOS

DOI10.1016/J.IPL.2004.11.007MaRDI QIDQ835035zbMATH OpenOpenAlexWikidataFDO

Authors Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote

Publication date 27 August 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://research.tue.nl/nl/publications/3f8e3ec9-7a7c-461a-80b6-9eb412a75ad5

zbMATH Keywords

commutativityformal semanticsstructural operational semantics (SOS)standard SOS formats

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• SOS formats and meta-theory: 20 years after
• Structural operational semantics.
• A rule format for unit elements
• A hierarchy of SOS rule formats
• Rule formats for distributivity

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 2086418 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• A structural approach to operational semantics
• Finite axiom systems for testing preorder and De Simone process languages
• Structural operational semantics.
• Structured operational semantics and bisimulation as a congruence
• The meaning of negative premises in transition system specifications
• The meaning of negative premises in transition system specifications. II
• Transition system specifications with negative premises
• Turning SOS rules into equations
• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules

Cited in

(9)

• Rule formats for distributivity
• Rule formats for determinism and idempotence
• SOS rule formats for zero and unit elements
• SOS formats and meta-theory: 20 years after
• Proving the validity of equations in GSOS languages using rule-matching bisimilarity
• SOS rule formats for idempotent terms and idempotent unary operators
• On rule formats for zero and unit elements
• A Rule Format for Associativity
• Exploiting algebraic laws to improve mechanized axiomatizations

This page was built for publication: A syntactic commutativity format for SOS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q835035)