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. citeseer.nj.nec.com/313007.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. citeseer.nj.nec.com/bellin92calculus.html
Retracing Some Paths in Process Algebra (1996) - (CiteSeer) Discursive article by Samson Abramksy reexamining some early ideas in the theory of processes in the light of later logical parallels. citeseer.nj.nec.com/cidcontext/3304376
