From eventual to atomic and locally atomic CC programs: A concurrent semantics
Open Access
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 114-132
- https://doi.org/10.1007/3-540-58431-5_10
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Contextual occurrence nets and concurrent constraint programmingPublished by Springer Nature ,1994
- Concurrent Constraint ProgrammingPublished by MIT Press ,1993
- 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
- Concurrent constraint programmingPublished by Association for Computing Machinery (ACM) ,1990
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Petri NetsPublished by Springer Nature ,1985
- Domains for denotational semanticsPublished by Springer Nature ,1982