A closer look at constraints as processes

DOI10.1016/j.ipl.2006.01.010zbMath1187.68166OpenAlexW1999759416MaRDI QIDQ844200

N. E. Zubov

Publication date: 18 January 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2006.01.010

zbMATH Keywords

formal semanticsconcurrencyprogramming calculiprogram correctnesscompositional encoding

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (1)

2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09

Uses Software

• Oz
• Pict

Cites Work

• A calculus of mobile processes. II
• Computer science today. Recent trends and developments
• A foundation for higher-order concurrent constraint programming
• Mobile values, new names, and secure communication
• Constraints as processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A closer look at constraints as processes