Enhancing compositional reachability analysis with context constraints

This publication has 9 references indexed in Scilit:

• The System Architect's Assistant for design and construction of distributed systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Compositional reachability analysis using process algebra
  Published by Association for Computing Machinery (ACM) ,1991
• Paradigms for process interaction in distributed programs
  ACM Computing Surveys, 1991
• A compositional approach to multiparadigm programming
  IEEE Software, 1989
• An algorithmic procedure for checking safety properties of protocols
  IEEE Transactions on Communications, 1989
• On visual formalisms
  Communications of the ACM, 1988
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• Complexity of analyzing the synchronization structure of concurrent programs
  Acta Informatica, 1983
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983