Period of time： 2004年2期
Publisher： Springer Publishing Company
Founded in： 1986
Total resources： 15
ISSN： 0178-2770
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Distributed Computing,volume 17,issue 2
Menu
Using counterfactuals in knowledge-based programming
By Halpern Joseph,Moses Yoram in (2004)
Distributed Computing,volume 17,issue 2 , Vol. 17, Iss. 2, 2004-08 , pp.
Access to resources
Recommend
Finding missing synchronization in a distributed computation using controlled re-execution
By Mittal Neeraj,Garg Vijay in (2004)
Distributed Computing,volume 17,issue 2 , Vol. 17, Iss. 2, 2004-08 , pp.The power of logical clock abstractions
By Kshemkalyani Ajay in (2004)
Distributed Computing,volume 17,issue 2 , Vol. 17, Iss. 2, 2004-08 , pp.A linear-time optimal-message distributed algorithm for minimum spanning trees
By Faloutsos Michalis,Molle Mart in (2004)
Distributed Computing,volume 17,issue 2 , Vol. 17, Iss. 2, 2004-08 , pp.Distributed reconfiguration of metamorphic robot chains
By Walter Jennifer,Welch Jennifer,Amato Nancy in (2004)
Distributed Computing,volume 17,issue 2 , Vol. 17, Iss. 2, 2004-08 , pp.