Timed default concurrent constraint programming
From MaRDI portal
Publication:679325
DOI10.1006/jsco.1996.0064zbMath0876.68041OpenAlexW1994157580MaRDI QIDQ679325
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
Publication date: 22 April 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/3074c216ddf0c4ba047ed2437524f6ffb3943286
Related Items (25)
On concurrent behaviors and focusing in linear logic ⋮ Dynamic spaces in concurrent constraint programming ⋮ A multi-scale constraint programming model of alternative splicing regulation ⋮ A synchronous \(\pi\)-calculus ⋮ A Declarative View of Signaling Pathways ⋮ A Proof Theoretic Study of Soft Concurrent Constraint Programming ⋮ On subexponentials, focusing and modalities in concurrent systems ⋮ Slicing concurrent constraint programs ⋮ Timed soft concurrent constraint programs: An interleaved and a parallel approach ⋮ An axiomatic semantics for the synchronous language Gentzen. ⋮ Subexponential concurrent constraint programming ⋮ A survey of constraint-based programming paradigms ⋮ Semantics of temporal constrained objects ⋮ TCC, with History ⋮ Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I ⋮ Decidability of infinite-state timed CCP processes and first-order LTL ⋮ Channel-based coordination via constraint satisfaction ⋮ 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 ⋮ An axiomatic semantics for Esterel ⋮ Comparative analysis of the expressiveness of shared dataspace coordination ⋮ Timed Term Rewrite Systems ⋮ A timed concurrent constraint language. ⋮ Semantics of temporal classes ⋮ Models and emerging trends of concurrent constraint programming
This page was built for publication: Timed default concurrent constraint programming
