Specification and Verification of Dynamic Properties in Distributed Computations
- 1 August 1995
- journal article
- Published by Elsevier in Journal of Parallel and Distributed Computing
- Vol. 28 (2) , 173-185
- https://doi.org/10.1006/jpdc.1995.1098
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: