Notes on timed concurrent constraint programming

DOI10.1007/978-3-540-27755-2_20MaRDI QIDQ5712290zbMATH OpenOpenAlexFDO

Authors Mogens Nielsen, Frank D. Valencia

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98282

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Logic Programming
• A timed concurrent constraint language.
• A temporal concurrent constraint programming calculus
• scientific article; zbMATH DE number 1809625
• Temporal concurrent constraint programming

Cited in

(29)

• Situated simplification
• Decidability of infinite-state timed CCP processes and first-order LTL
• On validity in modelization of musical problems by CCP
• A timed concurrent constraint language.
• Timed CCP compositionally embeds Argos and Lustre
• Models and emerging trends of concurrent constraint programming
• A framework for timed concurrent constraint programming with external functions
• Bridging the gap between two concurrent constraint languages
• Abstract diagnosis for timed concurrent constraint programs
• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• Concurrent and reactive constraint programming
• A temporal concurrent constraint programming calculus
• scientific article; zbMATH DE number 1497788 (Why is no real title available?)
• Timed soft concurrent constraint programs: an interleaved and a parallel approach
• Temporal concurrent constraint programming
• Proving correctness of timed concurrent constraint programs
• Temporal concurrent constraint programming: Applications and behavior
• The \textsf{tccp} interpreter
• Logic Programming
• Logic Programming
• Proving correctness of timed concurrent constraint programs
• A symbolic model for timed concurrent constraint programming
• Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
• TCC, with history
• Automatic verification of timed concurrent constraint programs
• Models for concurrent constraint programming
• A brief history of Timed CSP
• Timed default concurrent constraint programming
• TimeC: A time constraint language for ILP processor compilation

Describes a project that uses

Uses Software

• Oz

This page was built for publication: Notes on timed concurrent constraint programming

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