A concurrent model for linear logic

MaRDI QIDQ2852348zbMATH OpenFDO

Authors Emmanuel Beffara

Publication date 8 October 2013

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the \(\pi\)-calculus and linear logic
• From Petri nets to linear logic
• Computational interpretations of linear logic
• Linear concurrent constraint programming: Operational and phase semantics
• Concurrent programming as proof net construction

Cited in

(17)

• On the \(\pi\)-calculus and linear logic
• An interpretation of CCS into ludics
• Linear is CP (more or less)
• A Process-Model for Linear Programs
• Concurrent programming as proof net construction
• scientific article; zbMATH DE number 1303724 (Why is no real title available?)
• scientific article; zbMATH DE number 1304382 (Why is no real title available?)
• scientific article; zbMATH DE number 1497730 (Why is no real title available?)
• Linear logical relations and observational equivalences for session-based concurrency
• scientific article; zbMATH DE number 7439427 (Why is no real title available?)
• Lolliproc: to concurrency from classical linear logic via Curry-Howard and control
• On the \(\pi\)-calculus and co-intuitionistic logic. Notes on logic for concurrency and \(\lambda\)P systems
• Domain-aware session types
• Safe session-based concurrency with shared linear state
• Computational interpretations of linear logic
• Linear realisability over nets: multiplicatives
• An exact correspondence between a typed pi-calculus and polarised proof-nets

This page was built for publication: A concurrent model for linear logic

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