Name:	Professor C Stirling
Organisation:	University of Edinburgh
Department:	Sch of Informatics
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/C514637/1 Pushdown Automata and Game Semantics (P) GR/R42245/01 Infinite State Processes (P) GR/R03051/01 Applying Composition Theorems (P) GR/N23141/01 MODEL CHECKING GROUP PROTOCOLS (P) GR/M84763/01 DIMENSIONS OF CONCURRENCY (C) GR/M25445/01 PROPERTIES OF INFINITE REGULAR GRAPHS (P) GR/K68547/01 THE VALUE-PASSING CONCURRENCY WORKBENCH (P) GR/H16056/01 VERIFICATION OF INFINITE STATE SYSTEMS-THEORY METHOD AND APPLICATIONS (P) GR/G55464/01 DENOTATIONAL SEMANTICS AND CONCURRENCY (P) GR/F32219/01 MODAL AND TEMPORAL MU-CALCULI (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator