Colin Stirling

• Modal and Temporal Properties of Processes
• Modal and Temporal Properties of Processes (Texts in Computer Science)
• Comparing linear and branching time temporal logics
• Local model checking in the Modal Mu-Calculus