Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems

• Authors:

• Jeffrey J. P. Tsai;Eric Y. T. Juan

• Affiliations:

• -;-

• Venue:
• HASE '97 Proceedings of the 2nd High-Assurance Systems Engineering Workshop
• Year:
• 1997