Search The Directory The Web for Home > Science > Math > Logic and Foundations > Computational Logic > Combinatory Logic and Lambda Calculus > Formulae-as-Types Correspondence > Proofs_as_Processes New! Submit a site   whatUseek Collection Sites (submit a site ):   Give your site great placement in this category in as little as two business days!     whatUseek Directory Site Listings:   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.   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.   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.   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.   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. Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek