scholarly journals Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems

2016 ◽  
pp. 228-244 ◽  
Author(s):  
Max Kanovich ◽  
Tajana Ban Kirigin ◽  
Vivek Nigam ◽  
Andre Scedrov ◽  
Carolyn Talcott
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

DEVELOPMENT OF COMMUNICATION DATA TRANSMISSION PROTOCOL IN DISTRIBUTED SYSTEMS

2014 ◽  
pp. 209-214
Author(s):  
P. Ilin ◽  
◽  
J. Sieck ◽  
V. Brovkov ◽  
M. Pashkovskyi
Keyword(s):  
Distributed Systems ◽  
Data Transmission ◽  
Transmission Protocol

Control of Development of Hierarchical Distributed Systems (Example of Transport)

1997 ◽  
Vol 29 (2-3) ◽  
pp. 119-132
Author(s):  
M. D. Godlevskii ◽  
V. V. Shekhovtsov
Keyword(s):  
Distributed Systems
Sign in / Sign up

Export Citation Format

Share Document