1 results
Proving mutual exclusion with process algebra
-
-
- Book:
- Applications of Process Algebra
- Published online:
- 03 December 2009
- Print publication:
- 20 September 1990, pp 45-52
-
- Chapter
- Export citation