Colin Stirling


Research Interests

Models and calculi for concurrent computation, modal and temporal logics with fixed points and their applications to verification and description of program properties. Tools for Concurrency, the Edinburgh Concurrency Workbench.

Slides

Books

Recent Papers