Concurrent constraints in the fusion calculus

This publication has 12 references indexed in Scilit:

• A foundation for higher-order concurrent constraint programming
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• A proof theoretical approach to communication
  Published by Springer Nature ,1997
• The update calculus
  Published by Springer Nature ,1997
• Constraints as processes
  Published by Springer Nature ,1996
• Objects in the π-Calculus
  Information and Computation, 1995
• A π-calculus specification of prolog
  Published by Springer Nature ,1994
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• Barbed bisimulation
  Published by Springer Nature ,1992
• The semantic foundations of concurrent constraint programming
  Published by Association for Computing Machinery (ACM) ,1991