Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J.M.M. Rutten  Home/Search
Context Related
| disi.unige.it/person/Palam...root.ps.gz psu.edu/~catuscia/papers/Book...root.ps 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: disi.unige.it/pers...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We develop a general semantic theory of asynchronous communication in concurrent logic and concurrent constraint languages. The main characteristic of these languages, from the point of view of the communication mechanism, is that processes interact by querying and updating some common data structure. We abstract from the specific features of the underlying data structure by means of a uniform language of which the actions are interpreted as transformations on an abstract set of states. This... (Update)
Context of citations to this paper: More
...: un ) and x = t (for x occurring in t) are equivalent to false. The following example of Herbrand constraint system is taken from [4]. Consider an alphabet containg the variable symbols x and y, and constant symbols a and b. The Herbrand constraint system is (isomorphic...
.... is done here synchronously by parameter passing, and not asynchronously through independent update and query operations (see [1]) As process algebras, CCA are extended forms of finitestate machines. In contrast to transition systems, CCA contain parameters which are...
Cited by: More
A Software Architecture for Distributed Control.. - Bonsangue, Kok.. (1998) (Correct)
Concurrent Constraint Automata - Fribourg, Peixoto (1993) (Correct)
Nondeterminism and Infinite Computations in Constraint.. - de Boer, Di Pierro.. (1995) (Correct)
Similar documents (at the sentence level):
33.8%: Ruu-Cs-91-46 - Padualaan Box Tb (1991) (Correct)
Active bibliography (related documents): More All
0.5: A compositional Semantics for CHR - Maurizio Gabbrielli And (Correct)
0.4: A Fully Abstract Model for Concurrent Constraint Programming - de Boer, Palamdessi (1991) (Correct)
0.4: On the Semantics of Atomized Statements - the.. - Knijnenburg, Kok (Correct)
Similar documents based on text: More All
0.4: Embedding as a tool for Language Comparison: On the CSP hierarchy - de Boer, al. (1991) (Correct)
0.3: From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
0.2: Embedding as a tool for Language Comparison - de Boer, Palamidessi (1994) (Correct)
Related documents from co-citation: More All
2: Concurrent Constraint Programming (context) - Saraswat - 1990
2: The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989
2: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
BibTeX entry: (Update)
F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. A paradigm for asynchronous communication and its application to concurrent constraint programming. In Logic Programming Languages: Constraints, Functions, and Objects, Series in Logic Programming, pages 82--114. The MIT Press, 1993. http://citeseer.ist.psu.edu/deboer93paradigm.html More
@misc{ boer93paradigm,
author = "F. de Boer and J. Kok and C. Palamidessi and J. Rutten",
title = "A paradigm for asynchronous communication and its application to concurrent
constraint programming",
text = "F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. A paradigm
for asynchronous communication and its application to concurrent constraint
programming. In Logic Programming Languages: Constraints, Functions, and
Objects, Series in Logic Programming, pages 82--114. The MIT Press, 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/deboer93paradigm.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
906 A structural approach to operational semantics - Plotkin - 1981
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, Communicating - 1980
293 Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
121 Guarded Horn Clauses - Ueda - 1987
78 Predicate logic as a computational formalism (context) - Clark - 1979
48 Concurrent Prolog: A progress report (context) - Shapiro - 1986
43 A fully abstract model for concurrent constraint programming (context) - de Boer, Palamidessi - 1991
38 Information and Control (context) - de Bakker, Zucker et al. - 1982
32 Receptive process theory (context) - Josephs - 1990
16 Bounded nondeterminism and the approximation induction princ.. (context) - van Glabbeek - 1987
15 A theory of synchrony and asynchrony (context) - Jifeng, Josephs et al. - 1990
14 A complete inference system for regular processes with silen.. (context) - Bergstra, Klop - 1986
11 Deriving denotational models for bisimulation from Structure.. (context) - Rutten - 1990
7 Comparative metric semantics for concurrent prolog (context) - de Bakker, Kok - 1990
7 Reactive Behaviour semantics for Concurrent Constraint Logic.. (context) - Gaifman, Maher et al. - 1989
5 Fully abstract denotational models for nonuniform concurrent.. (context) - Horita, de Bakker et al. - 1990
5 A theory of asynchronous processes (context) - Josephs, Hoare et al. - 1990
4 The failure of failures: Towards a paradigm for asynchronous.. (context) - de Boer, Kok et al. - 1991
3 A fully abstract semantics for concurrent constraint program.. (context) - Saraswat, Rinard et al. - 1990
2 A model and a proof system for asynchronous processes (context) - Jonsson - 1985
1 histories and streams in the semantics of nondeterministic d.. (context) - Kok - 1989
1 A hiearchy of compositional models of I/O-automata (context) - Jonsson - 1990
1 Concurrent logic languages: Asynchronism and language compar.. (context) - de Boer, Palamidessi - 1990
Documents on the same site (http://www.disi.unige.it/person/PalamidessiC/publications.html): More
An Algebraic Perspective of Constraint Logic Programming - de Boer, Di Pierro.. (1995) (Correct)
Nondeterminism and Infinite Computations in Constraint.. - de Boer, Di Pierro.. (1995) (Correct)
Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (1997) (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