CC programs with both in- and non-determinism: A concurrent semantics

  • Ugo Montanari
  • Francesca Rossi
  • Vijay Saraswat
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 874)


We present a concurrent semantics for concurrent constraint (CC) programs with both (“committed choice”) indeterminism and (“back-tracking”) nondeterminism. The semantics extends the previous semantics for Indeterminate CC by (1) allowing each state to contain different or-parallel components and (2) splitting the concurrency relation into two to distinguish between and- and or-concurrency. Thereby, the construction produces a single representation (an And-or contextual net) that captures all the significant relations between events in program runs: concurrency, causal dependency, indeterminism and nondeterminism. We believe this is a first step towards the formal analysis of the concurrent semantics of practical CC languages containing both in- and non-determinism, such as AKL [HJ90].


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [HJ90]
    S. Haridi and S. Janson. Kernel andorra prolog and its computational model. In Proc. ICLP90. MIT Press, 1990.Google Scholar
  2. [MR93a]
    U. Montanari and F. Rossi. Contextual nets. Technical Report TR-4/93, CS Department, University of Pisa, Italy, 1993.Google Scholar
  3. [MR93b]
    U. Montanari and F. Rossi. Contextual occurrence nets and concurrent constraint programming. In Proc. Dagstuhl Seminar on Graph Transformations in Computer Science. Springer-Verlag, LNCS, 1993.Google Scholar
  4. [Rei85]
    W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.Google Scholar
  5. [RM94]
    F. Rossi and U. Montanari. Concurrent semantics for concurrent constraint programming. In Constraint Programming. NATO ASI Series, B. Mayoh, E. Tyugu, J. Penjam eds., 1994.Google Scholar
  6. [Sar93]
    V.A. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.Google Scholar
  7. [SRP91]
    V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrent constraint programming. In Proc. POPL. ACM, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Ugo Montanari
    • 1
  • Francesca Rossi
    • 1
  • Vijay Saraswat
    • 2
  1. 1.Computer Science DepartmentUniversity of PisaPisaItaly
  2. 2.Xerox PARCPalo Alto

Personalised recommendations