Publication:2736349
From MaRDI portal
zbMath0967.68516MaRDI QIDQ2736349
Frank S. de Boer, Catuscia Palamidessi
Publication date: 29 August 2001
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N17: Logic programming
Related Items
Full Abstraction for Linda, Nondeterminism and infinite computations in constraint programming, Graph rewriting for a partial ordering semantics of concurrent constraints programming, On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP, A fully abstract semantics for concurrent constraint programming, A general theory of action languages, Constraint logic programming with dynamic scheduling: A semantics based on closure operators, Confluence in concurrent constraint programming, A fully abstract model for the exchange of information in multi-agent systems., Truly concurrent constraint programming, A timed concurrent constraint language., A Compositional Semantics for CHR with Propagation Rules