Hierarchy-based incremental analysis of communication protocols
- 30 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 1993 International Conference on Network Protocols
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Compositional reachability analysis using process algebraPublished by Association for Computing Machinery (ACM) ,1991
- Method of analysing extended finite-state machine specificationsComputer Communications, 1990
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Process algebra for synchronous communicationInformation and Control, 1984
- Concepts and Notations for Concurrent ProgrammingACM Computing Surveys, 1983