Author： Garg V.K. Chase C.M. Kilgore R. Mitchell J.R.
Publisher： Academic Press
ISSN： 0743-7315
Source： Journal of Parallel and Distributed Computing, Vol.45, Iss.2, 1997-09, pp. : 134-147
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Verification of distributed systems with local-global predicates
By Chandy K.
Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. :
Access to resources
Recommend
Detecting ENF Event Predicates in Distributed Systems
Journal of Parallel and Distributed Computing, Vol. 44, Iss. 1, 1997-07 ,pp. :
A model for efficient configuration of management agents in distributed systems
By Abdu H. Lutfiyya H. Bauer M.A.
Performance Evaluation, Vol. 54, Iss. 4, 2003-12 ,pp. :