Structural Operational Semantics with First-Order Logic

DOI10.1016/j.entcs.2009.07.075zbMath1339.68161MaRDI 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 logic; congruence; expressiveness; SOS

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03B10: Classical first-order logic

Related Items

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