True concurrency semantics for a linear logic programming language with broadcast communication-Reference-Cited by-同舟云学术

True concurrency semantics for a linear logic programming language with broadcast communication

Published:1993 Issue: Volume: Page:182-198
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Andreoli Jean-Marc,Leth Lone,Pareschi Remo,Thomsen Bent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56610-4_64.pdf

Reference20 articles.

1. J-M. Andreoli, P. Ciancarini, and R. Pareschi. Interaction abstract machines. In G. Agha, A. Yonezawa, and P. Wegner, editors, Research Directions in Concurrent Object Oriented Programming. MIT Press, 1992. To appeal.

2. J-M. Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3), 1992.

3. J-M. Andieoli and R. Pareschi. Communication as fair distribution of knowledge. In Proc. of OOPSLA'91, Phoenix, Az, U.S.A., 1991.

4. J-M. Andieoli and R. Pareschi. Linear objects: Logical processes with builtin inheritance. New Generation Computing, 9(3+4):445–473, 1991.

5. J-M. Andreoli, R. Pareschi, and M. Bourgois. Dynamic programming as multi-agent programming. In Proc. of the OOPSLA '90/ECOOP'91 work-shop on Object-based concurrent computing, Lecture Notes in Computer Science (612), Genève, Switzerland, 1991. Springer Verlag.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Focussing and proof construction;Annals of Pure and Applied Logic;2001-01

2. Comparing Software Architectures for Coordination Languages;Coordinatio Languages and Models;1999

3. Logical and operational methods in the analysis of programs and systems;Analysis and Verification of Multiple-Agent Languages;1997

4. Some facile chemistry;Formal Aspects of Computing;1995-05

5. Concurrency and communication: Choices in implementing the coordination language LO;Object-Based Distributed Programming