Algebraic computational models of OR-parallel execution of Prolog

DOI10.1007/S002360050094zbMath0865.68023OpenAlexW2053031784MaRDI QIDQ1920217

Antonella Santone, Roberto Barbuti, Nicoletta De Francesco

Publication date: 25 September 1996

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050094

zbMATH Keywords

bisimulationOR-parallel executioncalculus of higher order communicating systemsconcurrent calculiprolog programsprolog semanticsProlog semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: Algebraic computational models of OR-parallel execution of Prolog