Computer Science Logic
From MaRDI portal
Publication:5394576
DOI10.1007/11538363zbMath1136.68442OpenAlexW2479351976MaRDI QIDQ5394576
Pierre-Louis Curien, Claudia Faggian
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11538363
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Jump from parallel to sequential proofs: exponentials ⋮ An approach to innocent strategies as graphs ⋮ Proof nets sequentialisation in multiplicative linear logic ⋮ An exact correspondence between a typed pi-calculus and polarised proof-nets ⋮ Partial Orders, Event Structures and Linear Strategies ⋮ Event Domains, Stable Functions and Proof-Nets ⋮ A Graph Abstract Machine Describing Event Structure Composition ⋮ Unnamed Item