scientific article
From MaRDI portal
Publication:2736349
zbMath0967.68516MaRDI QIDQ2736349
Catuscia Palamidessi, Frank S. de Boer
Publication date: 29 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic programming (68N17)
Related Items
Constraint logic programming with dynamic scheduling: A semantics based on closure operators ⋮ Confluence in concurrent constraint programming ⋮ Timed soft concurrent constraint programs: An interleaved and a parallel approach ⋮ A fully abstract model for the exchange of information in multi-agent systems. ⋮ Nondeterminism and infinite computations in constraint programming ⋮ Graph rewriting for a partial ordering semantics of concurrent constraints programming ⋮ Truly concurrent constraint programming ⋮ Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP ⋮ A Compositional Semantics for CHR with Propagation Rules ⋮ Full Abstraction for Linda ⋮ A fully abstract semantics for concurrent constraint programming ⋮ Confluence in concurrent constraint programming ⋮ A general theory of action languages ⋮ A timed concurrent constraint language. ⋮ Models and emerging trends of concurrent constraint programming ⋮ Truly concurrent constraint programming ⋮ Proving correctness of Constraint Logic Programs with dynamic scheduling