A closer look at constraints as processes

DOI10.1016/J.IPL.2006.01.010zbMATH Open1187.68166OpenAlexW1999759416MaRDI QIDQ844200FDOQ844200

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

• Title not available (Why is that?)
• A calculus of mobile processes. II
• Mobile values, new names, and secure communication
• Title not available (Why is that?)
• A foundation for higher-order concurrent constraint programming
• Computer science today. Recent trends and developments
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constraints as processes

Cited In (1)

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

Uses Software

• Oz
• Pict

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)