A fully abstract model for concurrent constraint programming
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 296-319
- https://doi.org/10.1007/3-540-53982-4_17
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A compositional semantics for Concurrent PrologPublished by Springer Nature ,2005
- Unfolding and fixpoint semantics of concurrent constraint logic programsPublished by Springer Nature ,1990
- Comparative metric semantics for concurrent prologTheoretical Computer Science, 1990
- On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequencesPublished by Springer Nature ,1990
- Control flow versus logic: A denotational and a declarative model for Guarded Horn ClausesPublished by Springer Nature ,1989
- Partial correctness semantics for CP[↓, ¦, &]Published by Springer Nature ,1985