Cosimo Laneve, Ugo Montanari  Home/Search
Context Related
Links: ACM DBLP | cs.unibo.it/pub/laneve/mfcs92.ps.gz cs.unibo.it/~laneve/papers/mfcs92.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: cs.unibo.it/~laneve/html...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: presented at Mathematical Foundations of Computer Science 1992, LNCS 629, pp. 336--345, 1992. operation takes a constraint c and adds (conjoins) it to the store (when the store is consistent with c). As a consequence, variables can be linked once and for all to their value, that is cc-languages are not affected by the previous criticism against process algebras. However, if cc-languages have higher order power or how much of control is described by them (i.e., a comparison with the... (Update)
Context of citations to this paper: More
...are not possible in monotonic CC. Being Turing complete, CC can only encode these languages via ad hoc encodings, using streams for example [15]. Another reason for considering constraint systems based on Linear Logic for CC languages is that Linear Logic naturally appears as...
Cited by: More
Pi-calculus and LCC, a Space Odyssey - Soliman (2003) (Correct)
A Precise Logical Semantics of Concurrent Constraint Programs - Soliman (Correct)
Active bibliography (related documents): More All
0.3: Partial Order and SOS Semantics for Linear Constraint.. - Best, de Boer, Palamidessi (Correct)
0.3: Linear Constraint Systems as High-level Nets - Best, Palamidessi (Correct)
0.0: On Synchronous and Asynchronous Communication Paradigms - Cacciagrano, Corradini (Correct)
Similar documents based on text: More All
0.4: Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (Correct)
0.4: Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari (Correct)
0.2: Axiomatizing Permutation Equivalence - Laneve, Montanari (1994) (Correct)
Related documents from co-citation: More All
3: Concurrent Constraint Programming (context) - Saraswat - 1990
3: Phase semantics and verication of concurrent constraint programs (context) - Fages, Ruet et al. - 1998
3: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
BibTeX entry: (Update)
C. Laneve and U. Montanari. Mobility in the cc-paradigm. In Proc. 17th International Symposium on Mathematical Foundations of Computer Science, volume 629, pages 336-345. Springer-Verlag, 1992. http://citeseer.ist.psu.edu/article/laneve92mobility.html More
@inproceedings{ laneve92mobility,
author = "Cosimo Laneve and Ugo Montanari",
title = "Mobility in the {CC}-Paradigm",
booktitle = "Mathematical Foundations of Computer Science",
pages = "336-345",
year = "1992",
url = "citeseer.ist.psu.edu/article/laneve92mobility.html" }
Citations (may not include all citations):14 Walker: A Calculus of Mobile Processes (context) - Milner, Parrow - 1989
3 Panangaden: Semantic Foundations of Concurrent Constraint Pr.. (context) - Saraswat, Rinard - 1991
1 Info and Co (context) - Milner, Processes - 1991
1 Rinard: Concurrent Constraint Programming (context) - Saraswat - 1990
Documents on the same site (http://www.cs.unibo.it/~laneve/html/papers.html): More
Interaction Systems - Asperti, Laneve (1993) (Correct)
The Discriminating Power of Multiplicities in the Lambda-Calculus - Boudol, Laneve (1996) (Correct)
λ-Calculus, Multiplicities and the π-Calculus - Boudol, Laneve (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