A. Eliëns, E.P. de Vink  Home/Search
Context Related
Links: ACM DBLP | cs.vu.nl/pub/papers/theor...IR304.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: fermivista.math.ju...ftp.cs.vu.nl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper the semantics of the communication mechanism of the distributed logic programming language DLP is studied. DLP combines logic programming with object oriented features and parallelism. For an abstract subset of DLP both an operational and denotational semantics is given. The language DLP supports active objects, method call by rendez-vous and moreover (distributed) backtracking over the results of such a rendez-vous. To enable further exploitation of parallelism, the rendez-vous... (Update)
Context of citations to this paper: More
.... continuation style transition systems, as has been frequently used in comparative (metric) semantics, [AB88, AR89, Rut90b, BV91b, BV89, Bak91, EV93, BV92b]. The transition system specifications of these papers do not fit in the formats mentioned above, but will fit into...
Cited by: More
Transition System Specifications in Stalk Format With.. - van Oostrom, de Vink (1994) (Correct)
Active bibliography (related documents): More All
2.0: Deja-Vu - Distributed Hypermedia Application Framework - Eliëns (Correct)
0.8: Proof Theory in Linear Logic: A Specification of Concurrent Objects - Delzanno (Correct)
0.6: Retractions in Comparing Prolog Semantics - de Bruin, de Vink (1989) (Correct)
Similar documents based on text: More All
0.4: A Language System Architecture for the Interoperability of.. - Visser, Eliëns (Correct)
0.3: CCS without r's with Built-in Service Rendezvous - Baldamus (Correct)
0.3: DLP and FaCT - Patel-Schneider, Horrocks (1999) (Correct)
BibTeX entry: (Update)
A. Eliens and E.P. de Vink. Asynchronous rendez-vous in Distributed Logic Programming. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Semantics: Foundations and Applications, pages 174--203. LNCS 666, 1993. http://citeseer.ist.psu.edu/50346.html More
@misc{ eliens93asynchronous,
author = "A. Eliens and E. de Vink",
title = "Asynchronous rendez-vous in Distributed Logic Programming",
text = "A. Eliens and E.P. de Vink. Asynchronous rendez-vous in Distributed Logic
Programming. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors,
Semantics: Foundations and Applications, pages 174--203. LNCS 666, 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/50346.html" }
Citations (may not include all citations):73 Restricted and-parallelism (context) - DeGroot - 1984 DBLP
65 a parallel object oriented language (context) - America - 1987
58 Contextual Logic Programming (context) - Monteiro, Porto - 1988 DBLP
48 Stepwise development of operational and denotational semanti.. (context) - Jones, Mycroft - 1984 DBLP
40 Solving reflexive domain equations in a category of complete.. (context) - America, Rutten - 1989 ACM DBLP
38 Information and Control (context) - de Bakker, Zucker et al. - 1982
32 Object oriented programming in Prolog (context) - Zaniolo - 1984
31 Denotational semantics of a Parallel Object Oriented Languag.. (context) - America, de Bakker et al. - 1989
27 Polka: A Parlog object oriented language (context) - Davison - 1989
21 Contractions in comparing concurrency semantics (context) - Kok, Rutten - 1988 ACM DBLP
19 A layered semantics for a parallel object-oriented language (context) - America, Rutten - 1991 ACM DBLP
18 Delta Prolog: A distributed logic programming language (context) - Pereira, Nasr - 1984
16 Continuation semantics for PROLOG with cut - de Bruin, de Vink - 1989 ACM DBLP
14 Objects in concurrent logic programming languages (context) - Kahn, Tribble et al. - 1986 ACM DBLP
14 Contrasting themes in the semantics of imperative concurrenc.. (context) - de Bakker, Kok et al. - 1986 ACM DBLP
13 Comparative semantics for flow of control in logic programmi.. (context) - de Bakker - 1991 ACM DBLP
8 Semantic correctness for a parallel object-oriented language (context) - Rutten - 1990 ACM DBLP
6 Programming languages for distributed systems (context) - Bal, Steiner et al. - 1989
6 Metric semantics for concurrency (context) - de Bakker, Ch - 1988 ACM DBLP
5 Comparative semantics for Prolog with cut (context) - de Vink - 1990 ACM DBLP
5 A compositional semantics for Concurrent Prolog (context) - Kok - 1988 ACM DBLP
4 metric spaces and ready sets in the semantics of uniform con.. (context) - de Bakker, Ch et al. - 1988
3 Designing equivalent models for process creation (context) - America, de Bakker - 1988
3 A Prolog based object oriented language SPOOL and its compil.. (context) - Yokoi - 1986 ACM DBLP
3 Prototyping Concurrent systems with Multilog (context) - Karam - 1988
3 DLP - A language for Distributed Logic Programming (context) - ens - 1992
3 CCS for OO and LP (context) - de Bakker, de Vink - 1991 ACM DBLP
3 Distributed Logic Programming for Artificial Intelligence (context) - ens - 1991 ACM
2 Comparative semantics for a real-time programming language w.. - van Breugel - 1991 ACM DBLP
2 Extending Prolog to a Parallel Object Oriented Language (context) - ens - 1989
2 A parallel objectoriented language: design and foundations (context) - America, Rutten - 1989
2 Asynchronous rendez-vous in the presence of backtracking (context) - ens, de Vink - 1991
1 Comparative Semantics for a Parallel Contextual Programming .. (context) - Jacquet, Monteiro - 1990
1 Designing concurrency semantics (context) - de Bakker - 1989 DBLP
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.vu.nl.html): More
Models for Asynchronous Message Handling - Langendoen, Bhoedjang, Bal (1997) (Correct)
Orca: a Portable User-Level Shared Object System - Bal, BHOEDJANG, HOFMAN.. (1996) (Correct)
Object Distribution in Orca using Compile-Time and Run-Time.. - Bal, Kaashoek (1993) (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