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.
Sites 3
Loading new listings for you to review...
- 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.
- 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.
- 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.