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.
- http://citeseer.ist.psu.edu/parrow98fusion.html

Pi-Calculus and Linear Logic (1992)
- (CiteSeer) Article by Bellin and Scott showing how classical linear logic may be interpreted in the pi calculus, thus supporting Abramksy's `Proofs as Processes' thesis.
- http://citeseer.ist.psu.edu/bellin92calculus.html

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.
- http://citeseer.ist.psu.edu/72922.html

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.
- http://citeseer.ist.psu.edu/313007.html