![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
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
![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
The power of logical clock abstractions
By Kshemkalyani Ajay in (2004)
Distributed Computing,volume 17,issue 2 , Vol. 17, Iss. 2, 2004-08 , pp.![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
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.