Author： Yen L.H. Huang T.L.
Publisher： Academic Press
ISSN： 0743-7315
Source： Journal of Parallel and Distributed Computing, Vol.43, Iss.1, 1997-05, pp. : 15-20
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 reactive systems using temporal logic with clocks
By Liu C. Orgun M.A.
Theoretical Computer Science, Vol. 220, Iss. 2, 1999-06 ,pp. :
Access to resources
Recommend
Security in Open and Distributed Systems
Information Management & Computer Security, Vol. 2, Iss. 1, 1994-01 ,pp. :
Concurrency Model for Distributed Systems
By Kim M. Chanson S.T. Vuong S.T.
Journal of Parallel and Distributed Computing, Vol. 59, Iss. 3, 1999-12 ,pp. :
Checkpointing in Distributed Computing Systems
Journal of Parallel and Distributed Computing, Vol. 35, Iss. 1, 1996-05 ,pp. :