A closer look at constraints as processes

DOI10.1016/J.IPL.2006.01.010MaRDI QIDQ844200zbMATH OpenOpenAlexFDO

Authors 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

concurrencyformal semanticsprogramming calculiprogram correctnesscompositional encoding

Mathematics Subject Classification ID

Theory of software (68N99)

Cites work

• scientific article; zbMATH DE number 1223724 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1142317 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• A calculus of mobile processes. II
• A foundation for higher-order concurrent constraint programming
• Computer science today. Recent trends and developments
• Constraints as processes
• Mobile values, new names, and secure communication

Cited in

(1)

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

Describes a project that uses

Uses Software

• Pict
• Oz

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q844200)