Modal and temporal logics for processes (0)

by C Stirling
Venue:Banff Higher Order Workshop 1995, LNCS 1043