A framework for timed concurrent constraint programming with external functions

DOI10.1016/J.ENTCS.2007.05.043MaRDI QIDQ2867965zbMATH OpenOpenAlexDBLPWikidataFDO

Authors A. Villanueva, María Alpuente, Bernhard Gramlich

Publication date 20 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.05.043

zbMATH Keywords

case studyfunctional featurestimed concurrent constraint language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1497788
• Timed default concurrent constraint programming
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 2084713
• scientific article; zbMATH DE number 2087501
• scientific article; zbMATH DE number 2084776
• A symbolic model for timed concurrent constraint programming
• A timed concurrent constraint language.

Cites work

• scientific article; zbMATH DE number 4178744 (Why is no real title available?)
• scientific article; zbMATH DE number 788038 (Why is no real title available?)
• A framework for timed concurrent constraint programming with external functions
• A timed concurrent constraint language.
• Automatic verification of timed concurrent constraint programs
• Decidability of infinite-state timed CCP processes and first-order LTL
• Logic programming in the context of multiparadigm programming: the Oz experience
• The execution algorithm of mercury, an efficient purely declarative logic programming language

Cited in

(5)

• Timed CCP compositionally embeds Argos and Lustre
• A framework for timed concurrent constraint programming with external functions
• Three Approaches to Timed External Choice in UTP
• Models and emerging trends of concurrent constraint programming
• The \textsf{tccp} interpreter

Describes a project that uses

Uses Software

• TOY
• Mercury

This page was built for publication: A framework for timed concurrent constraint programming with external functions

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