A process algebra for synchronous concurrent constraint programming

This publication has 7 references indexed in Scilit:

• Asynchronous communication in process algebra
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Concurrent Constraint Programming
  Published by MIT Press ,1993
• The semantic foundations of concurrent constraint programming
  Published by Association for Computing Machinery (ACM) ,1991
• A fully abstract model for concurrent constraint programming
  Published by Springer Nature ,1991
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Concurrent constraint programming
  Published by Association for Computing Machinery (ACM) ,1990
• A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
  Information and Control, 1984