scientific article

zbMath0755.68094MaRDI QIDQ3975139

Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten, Frank S. de Boer

Publication date: 26 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

concurrent logic languagessemantic models for guarded Horn clauses

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99)

Related Items (6)

Comparative metric semantics for concurrent PROLOG ⋮ Semantic models for concurrent logic languages ⋮ From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Models and emerging trends of concurrent constraint programming

This page was built for publication: