Orthogonal extensions in structural operational semantics (extended abstract)

DOI10.1007/11523468_98MaRDI QIDQ5716866zbMATH OpenOpenAlexFDO

Authors Mohammad Mousavi, Michel A. Reniers

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11523468

zbMATH Keywords

Conservative ExtensionEquational ConservativityFormal SemanticsOperational ConservativityOrthogonalityStructural Operational Semantics (SOS)

Mathematics Subject Classification ID

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)

Recommendations

• A structural approach to operational semantics
• scientific article; zbMATH DE number 1860682
• A rewriting logic approach to operational semantics (extended abstract)
• The expressive power of Structural Operational Semantics with explicit assumptions
• Structuring operational semantics: simplification and computation
• Bialgebras for structural operational semantics: an introduction
• Structural operational semantics and bounded nondeterminism
• Structural operational semantics and modal logic, revisited
• The origins of structural operational semantics
• Towards a theory of mathematical operational semantics

Cited in

(9)

• A conservative look at operational semantics with variable binding
• A congruence rule format with universal quantification
• scientific article; zbMATH DE number 1370937 (Why is no real title available?)
• Rule formats for determinism and idempotence
• Extensions to type systems can preserve operational equivalences
• scientific article; zbMATH DE number 1860682 (Why is no real title available?)
• Duplication of constants in process algebra
• SOS formats and meta-theory: 20 years after
• Lifting non-finite axiomatizability results to extensions of process algebras

This page was built for publication: Orthogonal extensions in structural operational semantics (extended abstract)

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