The analysis of distributed systems by means of predicate/transition-nets
- 23 November 2005
- book chapter
- Published by Springer Science and Business Media LLC
- Vol. 70, 123-146
- https://doi.org/10.1007/bfb0022467
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Consistency and correctness of duplicate database systemsACM SIGOPS Operating Systems Review, 1977