Partial order and contextual net semantics for atomic and locally atomic CC programs
- 1 January 1998
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 30 (1-2) , 51-82
- https://doi.org/10.1016/s0167-6423(97)00007-5
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Contextual netsActa Informatica, 1995
- Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditionsThe Journal of Logic Programming, 1995
- Contextual occurrence nets and concurrent constraint programmingPublished by Springer Nature ,1994
- From eventual to atomic and locally atomic CC programs: A concurrent semanticsPublished by Springer Nature ,1994
- Sequentializing Parallel ProgramsPublished by Springer Nature ,1992
- Constraint logic programmingThe Knowledge Engineering Review, 1991
- 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
- The family of concurrent logic programming languagesACM Computing Surveys, 1989
- Domains for denotational semanticsPublished by Springer Nature ,1982