scientific article; zbMATH DE number 2084713

MaRDI QIDQ4475640zbMATH OpenFDO

Authors Catuscia Palamidessi, Frank D. Valencia

Publication date 9 August 2004

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
• scientific article; zbMATH DE number 2087501
• 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?)
• scientific article; zbMATH DE number 1223724 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 2084776 (Why is no real title available?)
• scientific article; zbMATH DE number 2087421 (Why is no real title available?)
• scientific article; zbMATH DE number 2087501 (Why is no real title available?)
• 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:

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