Colin Stirling

Modal and Temporal Properties of Processes

2001

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

2001

Local model checking in the Mo

Local model checking in the Modal Mu-Calculus

1989

Comparing linear and branching

Comparing linear and branching time temporal logics

1987