A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification of Abstract Data Types in Modula
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
Principles of Database Systems
Principles of Database Systems
Specifications and Proofs for Abstract Data Types in Concurrent Programs
Program Construction, International Summer Schoo
Formal requirements specification of process control systems
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Processes in computer systems are often intimately involved with various data abstractions that occur in the systems. The specification of such processes should state the nature of this involvement. This note focuses on a special kind of process, called a realization process, and its specification because it appears to capture the interplay between concurrency and abstraction in a natural way. A realization process has two important properties: it is transparent to the abstract space and it is serializable with processes at the abstract level. Transparency and serializability are the main specifications of realization processes. These concepts are illustrated by an example of the kind of realization processes found in actual computer systems which serves to motivate the discussion.