Publication:3150207
From MaRDI portal
zbMath1018.68019MaRDI QIDQ3150207
Catuscia Palamidessi, Mogens Nielsen, Frank D. Valencia
Publication date: 10 December 2002
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N17: Logic programming
Related Items
Abstract interpretation of temporal concurrent constraint programs, A concurrent constraint programming interpretation of access permissions, TCC, with History, Non-determinism and Probabilities in Timed Concurrent Constraint Programming, Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming, A Formal Model for Polarization under Confirmation Bias in Social Networks, Dynamic spaces in concurrent constraint programming, A symbolic model for timed concurrent constraint programming, Proving concurrent constraint programming correct, revisited, Subexponential concurrent constraint programming, Decidability of infinite-state timed CCP processes and first-order LTL, Characterizing right inverses for spatial constraint systems with applications to modal logic, Linear time-dependent constraints programming with MSVL, A multi-agent model for polarization under confirmation bias in social networks, Models and emerging trends of concurrent constraint programming, On concurrent behaviors and focusing in linear logic, On subexponentials, focusing and modalities in concurrent systems, Slicing concurrent constraint programs, Verification of spatial and temporal modalities in biochemical systems, Timed Concurrent Constraint Programming for Analysing Biological Systems, Bridging the Gap between Two Concurrent Constraint Languages, Deriving Inverse Operators for Modal Logic, Unnamed Item, A Declarative View of Signaling Pathways