Structural Operational Semantics with First-Order Logic

DOI10.1016/j.entcs.2009.07.075zbMath1339.68161OpenAlexW2064803102MaRDI QIDQ2810690

Muck J. Van Weerdenburg, Michel 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

first-order logiccongruenceexpressivenessSOS

Mathematics Subject Classification ID

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) Classical first-order logic (03B10)

Related Items (2)

Rule formats for determinism and idempotence ⋮ Semantics and expressiveness of ordered SOS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Transition system specifications with negative premises
• SOS formats and meta-theory: 20 years after
• A calculus of communicating systems
• Structured operational semantics and bisimulation as a congruence
• Operational semantics of rewriting with priorities
• The origins of structural operational semantics
• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
• A Congruence Rule Format with Universal Quantification
• Process Algebra
• Termination, deadlock, and divergence
• The meaning of negative premises in transition system specifications
• On notation for ordinal numbers

This page was built for publication: Structural Operational Semantics with First-Order Logic