A Proof Theoretic Approach to Operational Semantics

DOI10.1016/j.entcs.2005.12.089zbMath1316.68100OpenAlexW1986898973MaRDI QIDQ5262970

No author found.

Publication date: 10 July 2015

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.2005.12.089

zbMATH Keywords

operational semantics\(\pi\)-calculusrule formats\(\lambda\)-tree syntaxproof-theoretic specifications

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Modal logics for mobile processes
• A proof theory for generic judgments
• Computer Science Logic
• Types for Proofs and Programs
• CONCUR 2005 – Concurrency Theory

This page was built for publication: A Proof Theoretic Approach to Operational Semantics