Soap boxes display case of 60 pieces

Natural wood craft clothespins display c

Pencil tire gauge display case of 96 pie

Nylon mesh body sponge display display c

Plastic craft wiggly eyes display case o

Search Results

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.nj.nec.com/72922.html
Reviews Rating: Not yet Rated Whois Check

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.
http://citeseer.nj.nec.com/cidcontext/3304376
Reviews Rating: Not yet Rated Whois Check

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.nj.nec.com/bellin92calculus.html
Reviews Rating: Not yet Rated Whois Check

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.nj.nec.com/parrow98fusion.html
Reviews Rating: Not yet Rated Whois Check

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.nj.nec.com/313007.html
Reviews Rating: Not yet Rated Whois Check

Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp. ©2004 Jasmine Computers Inc. Click here to subscribe for Jasminecorp's product News. Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups Submit a Site to Jasminecorp.net Directory || Advertise with us