The formal specification of concurrent s
โ
IM Bradley
๐
Article
๐
1994
๐
Elsevier Science
๐
English
โ 676 KB
Building complex, concurrent systems requires a large amount of care. Such systems often have many interactions between components. Some of the more obscure timing patterns can lead eventually to system failure. It is essential that any problems be identified as soon as possible in the life of a pro