A unified framework for the specification and run-time detection of dynamic properties in distributed computations
- 1 June 1996
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 33 (3) , 287-298
- https://doi.org/10.1016/0164-1212(96)00027-1
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Specification and Verification of Dynamic Properties in Distributed ComputationsJournal of Parallel and Distributed Computing, 1995
- On-the-fly analysis of distributed computationsInformation Processing Letters, 1995
- Debugging tool for distributed Estelle programsComputer Communications, 1993
- Distributed deadlock detectionDistributed Computing, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Distributed deadlock detectionACM Transactions on Computer Systems, 1983
- Termination detection for diffusing computationsInformation Processing Letters, 1980
- Distributed TerminationACM Transactions on Programming Languages and Systems, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978