Modal logics for communicating systems. Theoretical Computer Science, 49:311–347 (1987)

by Colin Stirling
Venue:Handbook of Logic in Computer Science