Author： Hierons R.
Publisher： Springer Publishing Company
ISSN： 0178-2770
Source： Distributed Computing, Vol.21, Iss.3, 2008-09, pp. : 223-238
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
UIO sequence based checking sequences for distributed test architectures
Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. :
Access to resources
Recommend
Distributed architectures for multiple-robot control
By Lueth Tim C.
Advanced Robotics, Vol. 10, Iss. 6, 1995-01 ,pp. :
An Approach for Recovering Distributed System Architectures
Automated Software Engineering, Vol. 8, Iss. 3-4, 2001-08 ,pp. :
Distributed breadth-first search LTL model checking
Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. :