A proof search specification of the -calculus

MaRDI QIDQ2848670zbMATH OpenFDO

Authors Alwen Tiu, Dale Miller

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051121

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus
• Computer Science Logic
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 2020178
• scientific article; zbMATH DE number 1759486

Cited in

(18)

• scientific article; zbMATH DE number 2020178 (Why is no real title available?)
• An exact correspondence between a typed pi-calculus and polarised proof-nets
• scientific article; zbMATH DE number 1082078 (Why is no real title available?)
• Computer Science Logic
• Open bisimulation, revisited
• Nominal abstraction
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• A proof theory for generic judgments
• CONCUR 2005 – Concurrency Theory
• On the role of names in reasoning about \(\lambda\)-tree syntax specifications
• Relating state-based and process-based concurrency through linear logic (full-version)
• A proof theory for model checking: an extended abstract
• Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus
• A proof theoretic approach to operational semantics
• A proof theory for model checking
• The calculus of constructions as a framework for proof search with set variable instantiation
• Relating state-based and process-based concurrency through linear logic
• An Analytic Propositional Proof System on Graphs

This page was built for publication: A proof search specification of the \(\pi\)-calculus

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