Timed default concurrent constraint programming
From MaRDI portal
Recommendations
Cited in
(32)- scientific article; zbMATH DE number 1497788 (Why is no real title available?)
- A symbolic model for timed concurrent constraint programming
- A survey of constraint-based programming paradigms
- TimeC: A time constraint language for ILP processor compilation
- A multi-scale constraint programming model of alternative splicing regulation
- Channel-based coordination via constraint satisfaction
- On subexponentials, focusing and modalities in concurrent systems
- Timed soft concurrent constraint programs: an interleaved and a parallel approach
- Dynamic spaces in concurrent constraint programming
- scientific article; zbMATH DE number 5181788 (Why is no real title available?)
- Timed CCP compositionally embeds Argos and Lustre
- An axiomatic semantics for Esterel
- Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math>
- Linear time-dependent constraints programming with MSVL
- Comparative analysis of the expressiveness of shared dataspace coordination
- A declarative view of signaling pathways
- Decidability of infinite-state timed CCP processes and first-order LTL
- A timed concurrent constraint language.
- Semantics of temporal classes
- Semantics of temporal constrained objects
- On concurrent behaviors and focusing in linear logic
- A framework for timed concurrent constraint programming with external functions
- TCC, with history
- Subexponential concurrent constraint programming
- A synchronous -calculus
- Abstract diagnosis for timed concurrent constraint programs
- Models and emerging trends of concurrent constraint programming
- Timed term rewrite systems
- A proof theoretic study of soft concurrent constraint programming
- scientific article; zbMATH DE number 1696892 (Why is no real title available?)
- Modeling concurrent systems specified in a temporal concurrent constraint language. I
- An axiomatic semantics for the synchronous language Gentzen.
This page was built for publication: Timed default concurrent constraint programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679325)
