Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in FormulaeasTypes_Correspondence/Proofs_as_Processes
Description
Top
:
Science
:
Math
:
Logic and Foundations
:
Computational Logic
:
Combinatory Logic and Lambda Calculus
:
FormulaeasTypes Correspondence
:
Proofs as Processes
(3)
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 picalculus 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 proofsasprocesses approach with Boudol and Berry's Chemical Abstract Machine approach.
"
Proofs as Processes
" search on:
AOL

Ask

Bing

Gigablast

Google

Lycos

Yahoo

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: January 2, 2007 at 17:54:53 UTC 
edit