scientific article

zbMath1018.68019MaRDI QIDQ3150207

Catuscia Palamidessi, Mogens Nielsen, Frank D. Valencia

Publication date: 10 December 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

temporal concurrent constraint programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)

Related Items

On concurrent behaviors and focusing in linear logic, A Formal Model for Polarization under Confirmation Bias in Social Networks, Dynamic spaces in concurrent constraint programming, Deriving Inverse Operators for Modal Logic, A Declarative View of Signaling Pathways, On subexponentials, focusing and modalities in concurrent systems, Slicing concurrent constraint programs, Abstract interpretation of temporal concurrent constraint programs, Subexponential concurrent constraint programming, Unnamed Item, Bridging the Gap between Two Concurrent Constraint Languages, A concurrent constraint programming interpretation of access permissions, A symbolic model for timed concurrent constraint programming, Proving concurrent constraint programming correct, revisited, TCC, with History, Decidability of infinite-state timed CCP processes and first-order LTL, Linear time-dependent constraints programming with MSVL, Characterizing right inverses for spatial constraint systems with applications to modal logic, Verification of spatial and temporal modalities in biochemical systems, Non-determinism and Probabilities in Timed Concurrent Constraint Programming, Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming, Timed Concurrent Constraint Programming for Analysing Biological Systems, Models and emerging trends of concurrent constraint programming, A multi-agent model for polarization under confirmation bias in social networks