Modal logics for communicating systems (1987)

by C Stirling
Venue:Theoretical Computer Science