scientific article; zbMATH DE number 1497788
From MaRDI portal
Publication:4499205
zbMATH Open0958.68044MaRDI QIDQ4499205FDOQ4499205
Authors: Simone Tini
Publication date: 5 March 2001
Title of this publication is not available (Why is that?)
Recommendations
- Lectures on Concurrency and Petri Nets
- scientific article; zbMATH DE number 2084713
- Timed default concurrent constraint programming
- Logic Programming
- scientific article; zbMATH DE number 1809625
- scientific article; zbMATH DE number 2087501
- A symbolic model for timed concurrent constraint programming
- scientific article; zbMATH DE number 2084776
Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (12)
- A symbolic model for timed concurrent constraint programming
- TimeC: A time constraint language for ILP processor compilation
- Bridging the gap between two concurrent constraint languages
- Timed CCP compositionally embeds Argos and Lustre
- Decidability of infinite-state timed CCP processes and first-order LTL
- A framework for timed concurrent constraint programming with external functions
- TCC, with history
- Abstract diagnosis for timed concurrent constraint programs
- Interval-Based Timing Constraints Their Satisfactions and Applications
- Abstract interpretation of temporal concurrent constraint programs
- An axiomatic semantics for the synchronous language Gentzen.
- Coinduction in concurrent timed systems
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 Q4499205)