Temporal concurrent constraint programming: Applications and behavior

DOI10.1007/3-540-45711-9_17MaRDI QIDQ4738301zbMATH OpenFDO

Authors Mogens Nielsen, Frank D. Valencia

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2300/23000298.htm

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

• A temporal concurrent constraint programming calculus
• scientific article; zbMATH DE number 1809625
• A symbolic model for timed concurrent constraint programming
• Lectures on Concurrency and Petri Nets
• Logic Programming

Cited in

(8)

• On validity in modelization of musical problems by CCP
• Timed concurrent constraint programming for analysing biological systems
• A framework for timed concurrent constraint programming with external functions
• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• A temporal concurrent constraint programming calculus
• scientific article; zbMATH DE number 1497788 (Why is no real title available?)
• TimeC: A time constraint language for ILP processor compilation

This page was built for publication: Temporal concurrent constraint programming: Applications and behavior

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