Parallel Execution Model for Prolog

Citation: Zsolt Németh, "Definition of a Parallel Execution Model with Abstract State Machines". Acta Cybernetica, 15(3), 2002, 417-455.
Summary: Two ASMs are defined and related by a refinement correctness proof, as preparation for designing and verifying a distributed parallel Prolog execution model.
Subjects: Architectures, Verification
Download: From Zsolt Németh's homepage in PostScript and Compressed PostScript.