Modal and Temporal Logics for Processes (1996)

by Colin Stirling
Citations:69 - 2 self

Document Versions

Modal and Temporal Logics for Processes –Colin Stirling — 1996
Modal and Temporal Logics for Processes –Colin Stirling — 1996