Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It

• Authors:

• Sören Holmström

• Affiliations:

• -

• Venue:
• Proceedings of the BCS-FACS Workshop on Specification and Verification of Concurrent Systems
• Year:
• 1988