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

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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)

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

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)