A syntactic commutativity format for SOS
From MaRDI portal
Recommendations
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)