scientific article; zbMATH DE number 1231566

MaRDI QIDQ4222884zbMATH OpenFDO

Authors Maurizio Gabbrielli, Frank S. de Boer

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#deboer

zbMATH Keywords

concurrent constraint programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1638652
• Nondeterminism and infinite computations in constraint programming
• Truly concurrent constraint programming
• Models for concurrent constraint programming
• A fully abstract semantics for concurrent constraint programming

Cited in

(9)

• Maximal infinite-valued constraint languages
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• A timed concurrent constraint language.
• scientific article; zbMATH DE number 1638652 (Why is no real title available?)
• Conscriptions: a new relational model for sequential computations
• Representing any-time and program-iteration by infinitary conjunction
• Extended conscriptions algebraically
• Nondeterminism and infinite computations in constraint programming
• A model of concurrency with fair merge and full recursion

This page was built for publication:

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