Communicating Modules: A Software Design Model for Concurrent Distributed Systems

Publisher Website

1 January 1985

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 18 (1), 67-77
https://doi.org/10.1109/MC.1985.1662686

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

Implementing remote procedure calls
ACM Transactions on Computer Systems, 1984
A Functional Approach to Module Verification
IEEE Transactions on Software Engineering, 1982
The new math of computer programming
Communications of the ACM, 1975
Programming with abstract data types
ACM SIGPLAN Notices, 1974
On the criteria to be used in decomposing systems into modules
Communications of the ACM, 1972
The structure of the “THE”-multiprogramming system
Communications of the ACM, 1968
The functional structure of OS/360, Part II: Job and task management
IBM Systems Journal, 1966

Cited by 13 articles