Verification of distributed systems with local–global predicates

2010 ◽  
Vol 23 (5) ◽  
pp. 649-679 ◽  
Author(s):  
K. Mani Chandy ◽  
Brian Go ◽  
Sayan Mitra ◽  
Concetta Pilotto ◽  
Jerome White
Keyword(s):  
Distributed Systems ◽  
Global Predicates

Detecting relational global predicates in distributed systems

1993 ◽  
Vol 28 (12) ◽  
pp. 21-31 ◽  
Author(s):  
Alexander I. Tomlinson ◽  
Vijay K. Garg
Keyword(s):  
Distributed Systems ◽  
Global Predicates

Managing evolution in distributed systems

1989 ◽  
Vol 4 (6) ◽  
pp. 321 ◽  
Author(s):  
Jeff Kramer ◽  
Jeff Magee ◽  
Morris Sloman
Keyword(s):  
Distributed Systems

The use of GMB in the design of robust software for distributed systems

1989 ◽  
Vol 4 (5) ◽  
pp. 268 ◽  
Author(s):  
Geoffrey F. Carpenter ◽  
Andrew M. Tyrrell
Keyword(s):  
Distributed Systems
Sign in / Sign up

Export Citation Format

Share Document