Jean-Marc Andreoli, Lone Leth, Remo Pareschi, Bent Thomsen  Home/Search
Context Related
| xerox.com/people/andreoli/...dist.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: xerox.com/people/andreoli/...home (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define a true concurrency semantics for LO, a reactive programming language characterized by dynamically reconfigurable agents (processes), with interagent communication implemented as broadcasting and logical operators corresponding to Linear Logic connectives. Our semantic model is given by the well-known Chemical Abstract Machine formalism, where concurrent events happen in the form of chemical-like reactions. (Update)
Context of citations to this paper: More
...components from the specification of the software architectures. This is a necessary step towards a formal comparison among architectures. In [1] two possible implementations for the broadcast mechanism of the coordination language LO [2] are presented; the first one...
...basic operators and constructors, while our emphasis is more on the architectural properties of the model underlying the languages. In [1] and in [16] the closest approaches to our approach are taken: languages are compared which do not differ on their operators but on their...
Cited by: More
Appears in Annals of Pure and Applied Logic, 107(1), pp.. - Focussing And Proof (2000) (Correct)
Comparing Coordination Models and Architectures using.. - Bonsangue, Kok, Zavattaro (2000) (Correct)
Focussing and Proof construction - Jean-Marc Andreoli Xerox (2000) (Correct)
Active bibliography (related documents): More All
0.7: Logic Programming with Focusing Proofs in Linear Logic - Andreoli (1992) (Correct)
0.7: Interaction Abstract Machines - Andreoli, al. (1993) (Correct)
0.3: Constraint Satisfaction, Constraint Programming, and Concurrency - Montanari, Rossi (Correct)
Similar documents based on text: More All
0.4: Understanding Mobile Agents via a non-interleaving .. - Borgia, Degano.. (1996) (Correct)
0.4: Concurrent Programming in T-Cham - Wanli Ma (Correct)
0.4: Towards a Chemical Model for Software Architecture Reconfiguration - Wermelinger (1998) (Correct)
Related documents from co-citation: More All
6: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
4: Logic programming with focusing proofs in linear logic - Andreoli - 1992
4: A Process Algebraic View of Linda Coordination Primitives - Busi, Gorrieri et al. - 1998
BibTeX entry: (Update)
JM. Andreoli, L. Leth, R. Pareschi, and B. Thomsen. True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication. In Proc. Conf. on Theory and Practice of Software Development (TAPSOFT 93), volume 668 of LNCS, pages 182--198, France, 1993. Springer. http://citeseer.ist.psu.edu/andreoli93true.html More
@inproceedings{ andreoli93true,
author = "Andreoli, J. M. and Leth, L. and Pareschi, R. and Thomsen, B.",
title = "True concurrency semantics for a linear logic programming language with broadcast communication",
booktitle = "Theory and Practice of Software Development",
pages = "182--198",
year = "1993",
url = "citeseer.ist.psu.edu/andreoli93true.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
159 The chemical abstract machine (context) - Berry, Boudol - 1990
142 Logic programming with focusing proofs in linear logic - Andreoli - 1992
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1992
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989
109 Interaction nets (context) - Lafont - 1990
72 A new constructive logic: Classical logic (context) - Girard - 1991
43 Interaction abstract machines - Andreoli, Ciancarini et al. - 1993
40 Towards an object calculus - Nierstrasz - 1991
40 Communication as fair distribution of knowledge - Andreoli, Pareschi - 1991
38 A parallel machine for multiset transformation and its progr.. (context) - Banatre, Coutant et al. - 1988
27 A calculus of broadcasting systems - Prasad - 1991
8 composition and concurrency: the lo experience (context) - Bourgois, Andreoli et al. - 1992
7 Dynamic programming as multi-agent programming (context) - Andreoli, Pareschi et al. - 1991
3 Technical report (context) - Montanari, Rossi - 1991
2 Concurrency and hiding in an abstract rewrite machine (context) - Corradini, Montanari et al. - 1992
2 Universit'e de Paris (context) - Girard, unity et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.rxrc.xerox.com/people/andreoli/publications/home.html): More
Abstract Interpretation of Linear Logic Programming - Andreoli, Castagnetti.. (1993) (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (Correct)
Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC