An incremental approach to reachability analysis of distributed programs
- 30 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Task Interaction Graphs For Concurrency AnalysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Hierarchy-based incremental analysis of communication protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- A model of Ada programs for static deadlock detection in polynomial timesPublished by Association for Computing Machinery (ACM) ,1991
- Automated analysis of concurrent systems with the constrained expression toolsetIEEE Transactions on Software Engineering, 1991
- Compositional reachability analysis using process algebraPublished by Association for Computing Machinery (ACM) ,1991
- Method of analysing extended finite-state machine specificationsComputer Communications, 1990
- Design and implementation of a Petri net based toolkit for Ada tasking analysisIEEE Transactions on Parallel and Distributed Systems, 1990
- Debugging Ada Tasking ProgramsIEEE Software, 1985
- Process algebra for synchronous communicationInformation and Control, 1984