Compositional reachability analysis of finite-state distributed systems with user-specified constraints
- 1 October 1995
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 20 (4) , 140-150
- https://doi.org/10.1145/222124.222149
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Tractable dataflow analysis for distributed systemsIEEE Transactions on Software Engineering, 1994
- Enhancing compositional reachability analysis with context constraintsPublished by Association for Computing Machinery (ACM) ,1993
- Compositional reachability analysis using process algebraPublished by Association for Computing Machinery (ACM) ,1991
- Debugging Ada Tasking ProgramsIEEE Software, 1985