scientific article

zbMath0595.68012MaRDI QIDQ3727355

Lennart Beckman

Publication date: 1986

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

zbMATH Keywords

semanticsCCSconcurrent logic programmingConcurrent PrologCommunicating SystemsGuarded Horn ClausesRelational Language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (8)

PRELIMINARY RESULTS OF A MULTIAGENT TRAFFIC SIMULATION FOR BERLIN ⋮ Comparative metric semantics for concurrent PROLOG ⋮ Semantic models for concurrent logic languages ⋮ THE PHYSICAL CHURCH-TURING THESIS AND THE PRINCIPLES OF QUANTUM THEORY ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Semantics of distributed definite clause programs ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Comparative semantics for flow of control in logic programming without logic

This page was built for publication: