About A Non Functional Calculus: Linear Logic and Concurrency (2000)
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.
