Structural operational semantics with first-order logic

DOI10.1016/J.ENTCS.2009.07.075MaRDI QIDQ2810690zbMATHOpenAlexFDO

Authors Muck van Weerdenburg, Michel A. Reniers

Publication date 3 June 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.075

zbMATH Keywords

congruencefirst-order logicexpressivenessSOS

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• SOS formats and meta-theory: 20 years after
• Semantics and expressiveness of ordered SOS
• Structural operational semantics.
• A hierarchy of SOS rule formats
• Structured operational semantics and bisimulation as a congruence

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42736 (Why is no real title available?)
• A calculus of communicating systems
• A congruence rule format with universal quantification
• On notation for ordinal numbers
• Operational semantics of rewriting with priorities
• Process Algebra
• SOS formats and meta-theory: 20 years after
• Structural operational semantics.
• Structured operational semantics and bisimulation as a congruence
• Termination, deadlock, and divergence
• The meaning of negative premises in transition system specifications
• The origins of structural operational semantics
• Transition system specifications with negative premises
• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules

Cited in

(12)

• Semantics and expressiveness of ordered SOS
• Rule formats for determinism and idempotence
• A hierarchy of SOS rule formats
• Stateful structural operational semantics
• Nominal SOS
• Structural operational semantics.
• The expressive power of Structural Operational Semantics with explicit assumptions
• CONCUR 2005 – Concurrency Theory
• Notions of bisimulation and congruence formats for SOS with data
• Formal foundations of operational semantics
• Structural operational semantics and modal logic, revisited
• A congruence rule format with universal quantification

This page was built for publication: Structural operational semantics with first-order logic

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