Message passing mutex

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 205-219
https://doi.org/10.1007/978-1-4471-3078-9_14

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

Automated analysis of mutual exclusion algorithms using CCS
Formal Aspects of Computing, 1989
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems, 1982
Myths about the mutual exclusion problem
Information Processing Letters, 1981
Variants of the software solution to mutual exclusion
Information Processing Letters, 1980
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM, 1974
Additional comments on a problem in concurrent programming control
Communications of the ACM, 1966
Solution of a problem in concurrent programming control
Communications of the ACM, 1965