Data flow analysis of communicating finite state machines
- 1 July 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 13 (3) , 399-442
- https://doi.org/10.1145/117009.117015
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The complexity of reachability in distributed communicating processesActa Informatica, 1988
- On the progress of communication between two finite state machinesInformation and Control, 1984
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- Synthesis of resource invariants for concurrent programsPublished by Association for Computing Machinery (ACM) ,1979
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969
- Derivatives of Regular ExpressionsJournal of the ACM, 1964