A Refinement Logic for the Fork Calculus

IFIP Advances in Information and Communication Technology - Protocol Specification, Testing and Verification XIV ◽

10.1007/978-0-387-34867-4_1 ◽

1995 ◽

pp. 5-20 ◽

Cited By ~ 1

Author(s):

Klaus Havelund ◽

Kim Guldstrand Larsen

Download Full-text