Higher-Order, Linear, Concurrent Constraint Programming (1992)

Cached

Download Links

by Vijay Saraswat , Patrick Lincoln
Citations:30 - 5 self

Active Bibliography

41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
Concurrency in the lambda-calculus: Higher-order Concurrent Constraint Programming (Extended Abstract) – Vijay A. Saraswat - 1991
47 Asynchronous Communication Model Based on Linear Logic – Naoki Kobayashi, Akinori Yonezawa - 1995
1 Proofs, concurrent objects and computations in a FILL framework – D. Galmiche, E. Boudinet, Inria Lorraine - 1995
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
60 A Foundation for Higher-order Concurrent Constraint Programming – Gert Smolka - 1994
4 A Survey of Linear Logic Programming – Dale Miller - 1995
47 Towards an Object Calculus – Oscar Nierstrasz - 1991
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
Non-deterministic Lazy it λ-calculus VS it π-calculus – Carolina Lavatelli - 1993
64 The π-Calculus in Direct Style – Gerard Boudol - 1997
259 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990
23 A Logical View Of Concurrent Constraint Programming – Nax Mendler, P. J. Scott, R. A. G. Seely - 1995
24 Linear Logic – Patrick Lincoln - 1992
90 Decision Problems for Propositional Linear Logic – Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar - 1990
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
7 An Overview of Linear Logic Programming – Dale Miller - 1985
12 A typed foundation for directional logic programming – Uday S. Reddy - 1992