scholarly journals A Framework for Flexible Program Evolution and Verification of Distributed Systems

2020 ◽  
pp. 320-349
Author(s):  
Olaf Owe ◽  
Elahe Fazeldehkordi ◽  
Jia-Chun Lin
Keyword(s):  
Distributed Systems ◽  
Program Evolution

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