Colin Stirling

Best Publications

• Modal and temporal logics

  Unknown

  441
  Citations

• Local model checking in the modal mu-calculus

  Unknown

  423
  Citations

• Modal and Temporal Properties of Processes

  Unknown

  378
  Citations

• Bisimulation equivalence is decidable for all context-free processes

  Unknown

  263
  Citations

• Modal and temporal logics for processes

  Unknown

  251
  Citations

• Modal Mu-Calculi

  Unknown

  244
  Citations

• Modal Logics and mu-Calculi: An Introduction

  Unknown

  220
  Citations

• Modal logics for communicating systems

  Unknown

  194
  Citations

• An introduction to modal and temporal logics for CCS

  Unknown

  191
  Citations

• A framework for intuitionistic modal logics: extended abstract

  Gordon Plotkin;Colin Stirling

  147
  Citations

• Local model checking games (extended abstract)

  Unknown

  136
  Citations

• Bisimulation Equivalence is Decidable for all Context-Free Processes

  Søren Christensen;Hans Hüttel;Colin Stirling

  125
  Citations

• Practical Model-Checking Using Games

  Unknown

  122
  Citations

• A compositional proof system for the modal /spl mu/-calculus

  H.R. Andersen;C. Stirling;G. Winskel

  121
  Citations

• Decidability of bisimulation equivalence for normed pushdown processes

  Unknown

  120
  Citations

• Local model checking for infinite state spaces

  Unknown

  114
  Citations

• The power of the future perfect in program logics

  Matthew Hennessy;Colin Stirling

  104
  Citations

• Actions speak louder than words: proving bisimilarity for context-free processes

  Unknown

  103
  Citations

• Weak and strong fairness in CCS

  Unknown

  100
  Citations

• Decidability of DPDA equivalence

  Unknown

  94
  Citations