Paper Info
Title
Static analysis of multiway synchronization
Abstract
We present an algorithm for statically analyzing the communications amongst distributed or concurrent processes that communicate using multiway synchronization, in which many processes may participate in an atomic communication action, such as in the ITU standard specification language LOTOS. This extends our previous work in which we provided an algorithm for static analysis of communication amongst processes that use two-process primitives such as in CSP and Occam.
Year
DOI
Venue
1994
10.1145/782224
Conference of the Centre for Advanced Studies on Collaborative Research
Keywords
Field
DocType
atomic communication action,multiway synchronization,two-process primitive,previous work,concurrent process,itu standard specification language,static analysis,specification language
Specification language,Synchronization,Programming language,Computer science,Static analysis,Theoretical computer science,occam,Real-time computing,Distributed computing
Conference
Citations 
PageRank 
References 
0
0.34
4
Authors
2
Name
Order
Citations
PageRank
Peter B. Ladkin162690.51
Barbara B. Simons216544.23