Static analysis of multiway synchronization

Authors:
Peter B. Ladkin;Barbara B. Simons
Affiliations:
CRIN-CNRS & INRIA Lorraine, BP 239, 54506 Vandææuvre-Lès-Nancy, France;Applications Development Technology Institute, IBM Software Solutions Division M24/E254, 555 Bailey Road, San Jose, CA
Venue:
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Year:
1994

Citing 6
Cited 0

Communicating sequential processes

Communicating sequential processes
Conversion from data-driven to synchronous execution in loop programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Compile-time analysis of communicating processes

ICS '92 Proceedings of the 6th international conference on Supercomputing
Communicating sequential processes

Communications of the ACM
Communication and Concurrency

Communication and Concurrency
A Static Analysis of CSP Programs

Proceedings of the Carnegie Mellon Workshop on Logic of Programs

Quantified Score

Hi-index	0.00

Visualization

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.