Specifications and Verification Techniques for Parallel Programs Based on Message Passing Semantics
Name
MIT-LCS-TR-191.pdf
Size
6.48 MB
Format
Adobe PDF
Checksum (MD5)
9144f8866c52e0464a490bfe6866aae3
Author(s)
Yonezawa, Akinori
Advisor(s)
Hewitt, Carl
Date Issued
January 1978
Series/Report no.
MIT-LCS-TR-191
Abstract
This thesis presents formal specification and verification techniques for both serial and parallel programs written in SIMULA-like object oriented languages. These techniques are based on the notion of states of individual objects which are defined uniformly in serial and parallel computations. They can specify and verify the behavior of data and procedural objects in multi-process environments, thus overcoming some of the difficulties in dealing with parallelism which characterized previous work on formal specifications for abstract data types.
Persistent DSpace Link
