Confluence in concurrent constraint programming
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 531-545
- https://doi.org/10.1007/3-540-60043-4_76
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Proving concurrent constraint programs correctPublished by Association for Computing Machinery (ACM) ,1994
- Abstracting synchronization in concurrent constraint programmingPublished by Springer Nature ,1994
- Boolean functions for dependency analysis: Algebraic properties and efficient representationPublished by Springer Nature ,1994
- Concurrent Constraint ProgrammingPublished by MIT Press ,1993
- The expressive power of indeterminate dataflow primitivesInformation and Computation, 1992
- The semantic foundations of concurrent constraint programmingPublished by Association for Computing Machinery (ACM) ,1991
- A fully abstract model for concurrent constraint programmingPublished by Springer Nature ,1991
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977