Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent program structures
Parallel program design: a foundation
Parallel program design: a foundation
Programming from specifications
Programming from specifications
Concurrent programming: principles and practice
Concurrent programming: principles and practice
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The Z notation: a reference manual
The Z notation: a reference manual
Active messages: a mechanism for integrated communication and computation
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
On concurrent programming
History, principles and application of the SPRINT method
Journal of Systems and Software
Monitors: an operating system structuring concept
Communications of the ACM
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Operating system principles
An Overview of the SPRINT Method
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Proceedings of the Real-Time: Theory in Practice, REX Workshop
| Hi-index | 0.00 |
In this paper we introduce a model of process communication and synchronisation, based on the concept of interaction objects. Interaction objects define an abstraction mechanism for concurrent access to data, based on a strict separation of process interaction and data access. Process interaction can be controlled by means of three basic interaction operators that operate on interaction objects. The interaction operators can be used to define various forms of communication and synchronisation including a general form of condition synchronisation. We define the concept of an interaction object and the interaction operators, and give examples of a number of interaction objects. Various aspects of interaction objects are discussed, such as the formal specification and implementation of interaction objects, and the verification of programs that use interaction objects.