Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming (original) (raw)
Related papers
The Semantic Foundations of Concurrent Constraint Programming
Proceedings of the 18th …, 1991
A Semantic Framework for the Analysis of Concurrent Constraint Programming
1997
Models for concurrent constraint programming
Lecture Notes in Computer Science, 1996
Confluence in concurrent constraint programming
Theoretical Computer Science, 1997
A logical view of concurrent constraint programming
1995
Compositional analysis for concurrent constraint programming
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
A Fully Abstract Semantics for a Version of SynchronousConcurrent Constraint Programming
1999
ACM Computing Surveys, 1996
A confluent semantic basis for the analysis of concurrent constraint logic programs
The Journal of Logic Programming, 1997
A logical denotational semantics for constraint logic programming
Lecture Notes in Computer Science, 1994
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '10, 2010
Linear Concurrent Constraint Programming: Operational and Phase Semantics
Information and Computation, 2001
The Journal of Logic Programming, 1998
Constraint-Based Concurrency and Beyond
Electronic Notes in Theoretical Computer Science, 2006
Concurrent Logic/Constraint Programming: The Next 10 Years
Artificial Intelligence, 1999
A process algebra for synchronous concurrent constraint programming
Lecture Notes in Computer Science, 1996
The semantics of constraint logic programs
Journal of Logic Programming, 1998
Coordination via Interaction Constraints I: Local Logic
Electronic Proceedings in Theoretical Computer Science, 2009
Models and emerging trends of concurrent constraint programming
Constraints, 2013
On the Expressive Power of Concurrent Constraint Programming Languages
BRICS Report Series, 2002
Electronic Notes in Theoretical Computer Science, 2003
Abstracting synchronization in concurrent constraint programming
Lecture Notes in Computer Science, 1994
Programming in concurrent logic languages
IEEE Software, 1995
Constraints in Procedural and Concurrent Languages
Foundations of Artificial Intelligence, 2006
A hyperdoctrinal view of concurrent constraint programming
1993
A tagging method for parallel constraint satisfaction
Journal of Parallel and Distributed Computing, 1992
Constraint Satisfaction in Distributed Concurrent Logic Programming
Journal of Symbolic Computation, 1996
ArXiv, 2020