Monitors: an operating system structuring concept
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Axiomatic Proof Techniques for Parallel Programs
Axiomatic Proof Techniques for Parallel Programs
SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONS
SYNTHESIS OF SYNCHRONIZATION CODE FOR DATA ABSTRACTIONS
Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Deriving protocol specifications from service specifications including parameters
ACM Transactions on Computer Systems (TOCS)
THE RTSC: MIGRATING EVENT-TRIGGERED SYSTEMS TO TIME-TRIGGERED SYSTEMS
Software—Practice & Experience
| Hi-index | 0.00 |
This paper describes a new approach to developing reliable software for communication between parallel processes. The basis of this approach is the shared use of abstract data objects, and the separation of synchronization-related software from the software performing the actual data access. The paper presents a language in which synchronization behavior for abstract data objects can be specified independently of other kinds of behavior. Specifications written in this language can be used as a basis for constructing the required synchronization software automatically. Also discussed is the use of such specifications in verifying properties of programs which make use of the abstract objects for interprocess communication.