scientific article; zbMATH DE number 2084713
zbMATH Open1067.68662MaRDI QIDQ4475640FDOQ4475640
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
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (23)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Logic Programming
- Decidability of infinite-state timed CCP processes and first-order LTL
- 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
- Title not available (Why is that?)
- Logic Programming
- Timed term rewrite systems
- Proving correctness of timed concurrent constraint programs
- Modeling concurrent systems specified in a temporal concurrent constraint language. I
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
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)
