Loosely-coupled processes (preliminary version)
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Design of scalable shared-memory multiprocessors: the DASH approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Replay, recovery, replication, and snapshots of nondeterministic concurrent programsPublished by Association for Computing Machinery (ACM) ,1991
- A Primer for Program Composition NotationPublished by Defense Technical Information Center (DTIC) ,1990
- Specifying concurrent objects as communicating processesScience of Computer Programming, 1990
- Making asynchronous parallelism safe for the worldPublished by Association for Computing Machinery (ACM) ,1990
- I-structures: data structures for parallel computingACM Transactions on Programming Languages and Systems, 1989
- The family of concurrent logic programming languagesACM Computing Surveys, 1989
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- MonitorsCommunications of the ACM, 1974