F. Bueno, M. Hermenegildo, U. Montanari, F. Rossi  Home/Search
Context Related
| clip.dia.fi.upm.es...rueconcjournal.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: clip.dia.fi.upm.es/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present two concurrent semantics (i.e. semantics where concurrency is explicitely represented) for CC programs with atomic tells. One is based on simple partial orders of computation steps, while the other one is based on contextual nets and it is an extension of a previous one for eventual CC programs. Both such semantics allow us to derive concurrency, dependency, and nondeterminism information for the considered languages. We prove some properties about the relation between the two... (Update)
Similar documents based on text: More All
1.0: Partial Order and Contextual Net Semantics for.. - Bueno.. (1996) (Correct)
0.4: Towards a Concurrent Semantics based Analysis of CC and .. - Montanari, Rossi.. (1994) (Correct)
0.3: CP Debugging Needs and Tools - Aggoun, Bueno, Carro, Deransart.. (1997) (Correct)
BibTeX entry: (Update)
F. Bueno, M. Hermenegildo, U. Montanari, and F. Rossi. Partial order and contextual net semantics for atomic and locally atomic CC programs. Science of Computer Programming, 30:51-82, 1998. http://citeseer.ist.psu.edu/bueno00partial.html More
@article{ bueno98partial,
author = "Francisco Bueno and Manuel V. Hermenegildo and Ugo Montanari and Francesca Rossi",
title = "Partial Order and Contextual Net Semantics for Atomic and Locally Atomic {CC} Programs",
journal = "Science of Computer Programming",
volume = "30",
number = "1-2",
pages = "51-82",
year = "1998",
url = "citeseer.ist.psu.edu/bueno00partial.html" }
Citations (may not include all citations):344 Concurrent Constraint Programming (context) - Saraswat - 1993
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
221 Constraint logic programming (context) - Ja, Lassez - 1987
216 Semantic foundations of concurrent constraint programming - Saraswat, Rinard et al. - 1991
214 Domains for denotational semantics (context) - Scott - 1982
146 EATCS Monographs on Theoretical Computer Science (context) - Reisig, An - 1985
46 Acta Informatica (context) - Montanari, Rossi - 1995
32 Strict and Non-Strict Independent AndParallelism in Logic Pr.. - Hermenegildo, Rossi - 1995
22 Contextual occurrence nets and concurrent constraint program.. (context) - Montanari, Rossi - 1993
17 Independence in constraint logic programs (context) - Garc, Banda et al. - 1993
16 True concurrency in concurrent constraint programming (context) - Montanari, Rossi - 1991
14 A fully abstract model for concurrent constraint programming (context) - De Boer, Palamidessi - 1991
12 From eventual to atomic and locally atomic cc programs: A co.. (context) - Bueno, Hermenegildo et al. - 1994
6 Sequentializing parallel programs (context) - Koorsloot, Tick - 1991
[Article contains additional citations not shown here]
Documents on the same site (http://clip.dia.fi.upm.es/papers/): More
A Generic Model for Persistence in (C)LP Systems.. - Correas, Gomez.. (Correct)
CoLogNetWS: the CoLogNet Web-site - Development of a.. - Navas, Cabeza.. (Correct)
Fuzzy Prolog: A Simple General Implementation Using CLP(R) - Vaucheret, Guadarrama.. (2002) (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