A temporal concurrent constraint programming calculus

DOI10.1007/3-540-45578-7_21MaRDI QIDQ4475640zbMATH OpenFDO

Authors Catuscia Palamidessi, Frank D. Valencia

Publication date 9 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/2239/22390302.htm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) 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

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

Cited in

(23)

• Decidability of infinite-state timed CCP processes and first-order LTL
• On validity in modelization of musical problems by CCP
• Timed term rewrite systems
• Timed concurrent constraint programming for analysing biological systems
• A framework for timed concurrent constraint programming with external functions
• Bridging the gap between two concurrent constraint languages
• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• Concurrent constraints in the fusion calculus. (Extended abstract)
• scientific article; zbMATH DE number 1497788 (Why is no real title available?)
• A survey of constraint-based programming paradigms
• 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
• Modeling concurrent systems specified in a temporal concurrent constraint language. I
• Logic Programming
• Logic Programming
• Proving correctness of timed concurrent constraint programs
• A symbolic model for timed concurrent constraint programming
• TCC, with history
• Open Bisimulation for the Concurrent Constraint Pi-Calculus
• Lectures on Concurrency and Petri Nets
• TimeC: A time constraint language for ILP processor compilation

Describes a project that uses

Uses Software

• Oz

This page was built for publication: A temporal concurrent constraint programming calculus

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