Structural operational semantics with first-order logic

DOI10.1016/J.ENTCS.2009.07.075zbMATH Open1339.68161OpenAlexW2064803102MaRDI QIDQ2810690FDOQ2810690

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

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

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)

Cites Work

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

Cited In (12)

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

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)