A Compositional Proof System for the Modal ��-Calculus. //To appear (0)

by C Stirling H R Andersen, G Winskel
Venue:in proceedings of LICS94, IEEE Computer