[an error occurred while processing this directive]
[an error occurred while processing this directive]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. |
Notes: |