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.
[Mozilla Einstein]
Last update:
January 2, 2007 at 17:54:53 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional