Distributed Logic Programming

DOI10.1016/S0743-1066(14)80002-2zbMath0778.68021MaRDI QIDQ4696741

Antonio Brogi, Roberto Gorrieri

Publication date: 29 June 1993

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

operational semanticsPetri netsmessage-passingmodel-theoretic semanticsAND-parallelismcommunicating sequential logic processesDistributed Logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17) Distributed algorithms (68W15)

This page was built for publication: Distributed Logic Programming