CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus

• Authors:

• Colin Stirling;David Walker

• Affiliations:

• -;-

• Venue:
• Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
• Year:
• 1989