Duration calculus in COOZ

Authors:
Xiaodong Yuan;Jiajun Chen;Guoliang Zheng
Affiliations:
Nanjing Univ., Nanjing, China;Nanjing Univ., Nanjing, China;Nanjing Univ., Nanjing, China
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1998

Citing 1
Cited 1

COOZ: a complete object-oriented extension to Z

ACM SIGSOFT Software Engineering Notes

Relational concurrent refinement: timed refinement

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract