![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Holub S.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.262, Iss.1, 2001-07, pp. : 25-36
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Local and global relational consistency
Theoretical Computer Science, Vol. 173, Iss. 1, 1997-02 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Global free flow of information
SourceOECD Science & Information Technology, Vol. 2011, Iss. 15, 2011-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Local proofs for global safety properties
Formal Methods in System Design, Vol. 34, Iss. 2, 2009-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
LOCAL MUSICIANS BUILDING GLOBAL AUDIENCES
Information, Communication and Society, Vol. 12, Iss. 4, 2009-06 ,pp. :