Concurrency Model for Distributed System
โ
Myungchul Kim; Samuel T. Chanson; Son T. Vuong
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 243 KB
Concurrent behaviors in distributed systems are generally difficult to specify and analyze. In this paper, we introduce a concurrency model that comprises concurrent events, concurrency blocks, and global states. The model is attractive in that it is simple and yet allows for the definition and calc