Thoth, a portable real-time operating system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Operating system principles
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Methodology for Message Oriented Programming
Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI
A Communication Data Type for Message Oriented Programming
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Hi-index | 0.00 |
We present in this paper a methodology for the development (and analysis) of programs designed specifically for distributed environments where synchronization is achieved through message passing. The methodology is based on techniques and concepts which have been found to be useful for the development of sequential programs—namely, stepwise refinement and abstract data types. The methodology is based on the concept of resource, generalizing the concepts of monitors, managers, proprietors, etc. We put forward the proposition that a resource is an abstract data type together with mechanisms for synchronization: firstly, for the operations of the type with each other (to gain parallelism) and, secondly, to enable the user environment to perform operation invocation. A methodology is then presented for the design of resources and their implementation.