Jean-Marie Jacquet, Luís Monteiro  Home/Search
Context Related
Links: DBLP | info.fundp.ac.be/pub/p...RP91004.ps.Z 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: info.fundp.ac.be/~j...conferences (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The purpose of this paper is twofold: to introduce a new extension of concurrent logic programming languages aiming at handling synchronicity and to present and compare several semantics for it. The extended framework essentially rests on an extension of Horn clauses, including multiple atoms in their heads and a guard construct, as well as a new operator between goals. The semantics discussed consist of four semantics. They range in the operational, declarative and denotational types and are... (Update)
Context of citations to this paper: More
...performs one step, although all of them are allowed to do so. Restated in other terms, in contrast with work such as [BKPR89] and [JM91], our modeling of and parallelism includes the interleaving perception of parallel computations as well as the true concurrent one. For...
Cited by: More
Comparative Semantics of Generalized Horn Clauses - Jean-Marie Jacquet And (1991) (Correct)
Similar documents (at the sentence level):
12.4%: Communicating Clauses: towards Synchronous Communication in.. - Jacquet, Monteiro (1992) (Correct)
Active bibliography (related documents): More All
0.5: From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
0.3: Comparative semantics of µLog - De Bosschere, Jacquet (1992) (Correct)
0.2: On Composing Concurrent Logic Processes - Jacquet, De Bosschere (1995) (Correct)
Similar documents based on text: More All
0.1: Polynomial Convergence of Primal-Dual Algorithms for.. - Monteiro (1997) (Correct)
0.1: Polynomiality of Primal-Dual Algorithms for Semidefinite.. - Monteiro, Tsuchiya (1997) (Correct)
0.1: General Interior-Point Maps and Existence of Weighted.. - Monteiro.. (1999) (Correct)
BibTeX entry: (Update)
Jacquet J.-M., Monteiro L., Extended Horn Clauses: the Framework and some Semantics, Proc. Concur'91, (J.C.M. Baeten and J.F. Groote, eds), Lecture Notes in Computer Science 527, 1991, pp. 281-297. http://citeseer.ist.psu.edu/jacquet91extended.html More
@inproceedings{ jacquet91extended,
author = "Jean-Marie Jacquet and Luis Monteiro",
title = "Extended Horn Clauses: The Framework and Some Semantics",
booktitle = "International Conference on Concurrency Theory",
pages = "281-297",
year = "1991",
url = "citeseer.ist.psu.edu/jacquet91extended.html" }
Citations (may not include all citations):1838 Foundations of logic programming (context) - Lloyd - 1987 ACM
982 Theoretical Computer Science (context) - Girard - 1987 ACM
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1990 ACM
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989 ACM
121 Guarded Horn Clauses - Ueda - 1986 ACM DBLP
57 A Subset of Concurrent Prolog and its Interpreter (context) - Shapiro - 1983 ACM
40 Solving reflexive domain equations in a category of complete.. (context) - America, Rutten - 1989 ACM DBLP
40 Algebraic Properties of Idempotent Substitutions - Palamidessi - 1990 ACM DBLP
38 Information and Control (context) - de Bakker, Zucker et al. - 1982
24 Heldermann Verlag (context) - Engelking - 1989
24 Logical Objects (context) - Conery - 1988 DBLP
21 Contractions in Comparing Concurrency Semantics (context) - Kok, Rutten - 1990
20 A Synchronization Logic: Axiomatics and Formal Semantics of .. (context) - Falaschi, Levi et al. - 1984
16 And-Parallelism without Shared Variables (context) - Brogi - 1990 ACM DBLP
13 Comparative Semantics for Flow of Control in Logic Programmi.. (context) - de Bakker - 1988 ACM DBLP
12 Conclog: a Methodological Approach to Concurrent Logic Progr.. (context) - Jacquet - 1989
7 Application and Implementation of a Parallel Logic Programmi.. (context) - Gregory - 1985
7 the Asynchronous Nature of Communication in Concurrent Logic.. (context) - de Boer, Palamidessi - 1990
7 An Extension to Horn Clause Logic allowing the Definition of.. (context) - Monteiro - 1981 ACM DBLP
5 A Horn Clause-like Logic for Specifying Concurrency (context) - Monteiro - 1982 DBLP
3 A First Order Semantics of a Connective Suitable to Express .. (context) - Degano, Diomedi - 1983
Documents on the same site (http://www.info.fundp.ac.be/~jmj/Research/Publications/conferences.html): More
Modeling Coordination via Asynchronous Communication - Antonio Brogi And (1997) (Correct)
Communicating Clauses: towards Synchronous Communication in.. - Jacquet, Monteiro (1992) (Correct)
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (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