Modal and temporal logics for processes (1993)

by Colin P Stirling
Venue:Department of Computer Science, University of Edinburgh