Communicating sequential processes
Communicating sequential processes
Introduction to the theory of nested transactions
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
From RIG to Accent to Mach: the evolution of a network operating system
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Communicating sequential processes
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
On shared systems
| Hi-index | 0.00 |
In this paper we would like to address two of the issues from the list of issues to be considered by the workshop: formal methods for specifying fault-tolerance requirements, and paradigms for supporting fault-tolerant applications.