Modal and temporal logics for processes (1996)

by C Stirling
Venue:In Logics for Concurrency: Structure versus Automata, LNCS 1043