Colin Stirling

Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes (Texts in Computer Science)