scholarly journals Specifying and proving properties of guardians for distributed systems

2005 ◽  
pp. 316-336 ◽  
Author(s):  
Carl Hewitt ◽  
Giuseppe Attardi ◽  
Henry Lieberman
Keyword(s):  
Distributed Systems

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