Author： Marzuoli Annalisa Rasetti Mario
Publisher： Springer Publishing Company
ISSN： 1567-7818
Source： Natural Computing, Vol.6, Iss.2, 2007-06, pp. : 151-168
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
Local and global models of physics and computation
International Journal of General Systems, Vol. 43, Iss. 7, 2014-10 ,pp. :
Access to resources
Recommend
Verification of distributed systems with local-global predicates
By Chandy K.
Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. :
Drawing Power Law Graphs Using a Local/Global Decomposition
By Andersen Reid Chung Fan Lu Linyuan
Algorithmica, Vol. 47, Iss. 4, 2007-05 ,pp. :
On the Computation of Observers in Discrete-Event Systems
Discrete Event Dynamic Systems, Vol. 14, Iss. 1, 2004-01 ,pp. :