scientific article
From MaRDI portal
Publication:3150207
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.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)
Related Items (24)
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
This page was built for publication:
