Asynchronous Communication Model Based on Linear Logic (1995)

Cached

Download Links

by Naoki Kobayashi , Akinori Yonezawa
Venue:Formal Aspects of Computing
Citations:47 - 6 self

Active Bibliography

46 ACL - A Concurrent Linear Logic Programming Paradigm – Naoki Kobayashi, Akinori Yonezawa - 1993
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
11 Relating State-Based and Process-Based Concurrency through Linear Logic – Iliano Cervesato, Andre Scedrov - 2006
9 Logical, Testing, and Observation Equivalence for Processes in a Linear Logic Programming – Naoki Kobayashi, Akinori Yonezawa - 1993
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
30 Higher-Order, Linear, Concurrent Constraint Programming – Vijay Saraswat, Patrick Lincoln - 1992
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
5 Type-Based Analysis Of Usage Of Values For Concurrent Programming Languages – Atsushi Igarashi - 1997
30 Higher-Order Concurrent Linear Logic Programming – Naoki Kobayashi, Akinori Yonezawa - 1995
34 Operational congruences for reactive systems – James Judi Leifer - 2001
10 Action and Change in Rewriting Logic – Narciso Martí-Oliet, José Meseguer - 1996
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
A π-calculus Semantics of Logical Variables and Unification – Brian J. Ross - 1993
9 An Adaptive Resource Management Architecture for Global Distributed Computing – Nalini Venkatasubramanian - 1998
38 Focusing the inverse method for linear logic – Kaustuv Chaudhuri, Stephen Brookes - 2005
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
9 From Concurrent Logic Programming to Concurrent Constraint Programming – Frank S. de Boer, Catuscia Palamidessi - 1993
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
4 An Algebraic Theory of Actors and its Application to a Simple Object-Based Language – Gul Agha - 2004