Enhancing compositional reachability analysis with context constraints
- 1 December 1993
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 18 (5), 115-125
- https://doi.org/10.1145/256428.167071
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- The System Architect's Assistant for design and construction of distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Compositional reachability analysis using process algebraPublished by Association for Computing Machinery (ACM) ,1991
- Paradigms for process interaction in distributed programsACM Computing Surveys, 1991
- A compositional approach to multiparadigm programmingIEEE Software, 1989
- Finite Reresentations of CCS and TCSP Programs by Automata and Petri NetsLecture Notes in Computer Science, 1989
- On visual formalismsCommunications of the ACM, 1988
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Complexity of analyzing the synchronization structure of concurrent programsActa Informatica, 1983
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983