scientific article

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.

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic programming (68N17)

Related Items (18)

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

This page was built for publication: