Science Math Logic and Foundations Computational Logic Combinatory Logic and Lambda Calculus Formulae-as-Types Correspondence Proofs as Processes
Applications of logic to process algebras are often inspired by the concurrent analogue of the formulae-as-types correspondence proposed by Samson Abramsky and inspired by Girard's linear logic.
Completeness Results for Linear Logic on Petri Nets (1993)
(CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is complete.
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)
(CiteSeer) This PhD thesis proposes the fusion calculus as a simplified pi-calculus with many formal advantages.
A Non Functional Calculus: Linear Logic and Concurrency (2000)
(CiteSeer) This paper proposes the *-calculus as an approach that unifies Abramsky's proofs-as-processes approach with Boudol and Berry's Chemical Abstract Machine approach.
Last update:January 2, 2007 at 17:54:53 UTC