Colin Stirling

Publication Activity (10 Years)

Years Active: 1983-2013
Publications (10 Years): 0

Top Topics

Lambda Calculus

Linear Time Temporal Logic

Top Venues

Festschrift for Dave Schmidt

Publications

Colin Stirling
A Proof System with Names for Modal Mu-calculus. Festschrift for Dave Schmidt (2013)
Colin Stirling
Proof Systems for Retracts in Simply Typed Lambda Calculus. ICALP (2) (2013)
Gordon D. Plotkin, Colin Stirling, Mads Tofte
Obituary: Robin Milner (1934-2010). Bull. EATCS 101 (2010)
Colin Stirling
Introduction to Decidability of Higher-Order Matching. FoSSaCS (2010)
Colin Stirling
Dependency Tree Automata. FoSSaCS (2009)
Colin Stirling
Decidability of higher-order matching Log. Methods Comput. Sci. 5 (3) (2009)
Colin Stirling
Higher-Order Matching, Games and Automata. LICS (2007)
Colin Stirling
Model-Checking Games for Typed lambda-Calculi. Electron. Notes Theor. Comput. Sci. 172 (2007)
Colin Stirling
Games, Automata and Matching. CADE (2007)
Colin Stirling
A Game-Theoretic Approach to Deciding Higher-Order Matching. ICALP (2) (2006)
Colin Stirling
Second-Order Simple Grammars. CONCUR (2006)
Colin Stirling
Higher-Order Matching and Games. CSL (2005)
Tim Kempster, Colin Stirling
Modeling and Model Checking Mobile Phone Payment Systems. FORTE (2003)
Martin Lange, Colin Stirling
Model Checking Fixed Point Logic with Chop. FoSSaCS (2002)
Colin Stirling
Deciding DPDA Equivalence Is Primitive Recursive. ICALP (2002)
Martin Lange, Colin Stirling
Model Checking Games for Branching Time Logics. J. Log. Comput. 12 (4) (2002)
Colin Stirling
Decidability of DPDA equivalence. Theor. Comput. Sci. 255 (1-2) (2001)
Colin Stirling
Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes. FoSSaCS (2001)
Christophe Morvan, Colin Stirling
Rational Graphs Trace Context-Sensitive Languages. MFCS (2001)
Colin Stirling
An Introduction to Decidability of DPDA Equivalence. FSTTCS (2001)
Martin Lange, Colin Stirling
Focus Games for Satisfiability and Completeness of Temporal Logic. LICS (2001)
Tim Kempster, Colin Stirling, Peter Thanisch
Games-Based Model Checking of Protocols: counting doesn't count. ICDCS Workshop on Distributed System Validation and Verification (2000)
Gordon D. Plotkin, Colin Stirling, Mads Tofte
A brief scientific biography of Robin Milner. Proof, Language, and Interaction (2000)
Colin Stirling
Schema Revisited. CSL (2000)
Tim Kempster, Colin Stirling, Peter Thanisch
Diluting ACID. SIGMOD Rec. 28 (4) (1999)
Colin Stirling
Decidability of bisimulation equivalence for normed pushdown processes. SIGACT News 30 (3) (1999)
Colin Stirling
Bisimulation, Modal Logic and Model Checking Games. Log. J. IGPL 7 (1) (1999)
Colin Stirling
Playing games and proving properties of concurrent systems. J. Comput. Sci. Technol. 13 (6) (1998)
Tim Kempster, Colin Stirling, Peter Thanisch
A More Committed Quorum-Based Three Phase Commit Protocol. DISC (1998)
Perdita Stevens, Colin Stirling
Practical Model-Checking Using Games. TACAS (1998)
Colin Stirling
The Joys of Bisimulation. MFCS (1998)
Colin Stirling
Decidability of Bisimulation Equivalence for Normed Pushdown Processes. Theor. Comput. Sci. 195 (2) (1998)
Hans Hüttel, Colin Stirling
Actions Speak Louder Than Words: Proving Bisimilarity for Context-Free Processes. J. Log. Comput. 8 (4) (1998)
Colin Stirling
Games and Modal Mu-Calculus. TACAS (1996)
Colin Stirling
Decidability of Bisimulation Equivalence for Normed Pushdown Processes. CONCUR (1996)
Colin Stirling
Lokal Model Checking Games. CONCUR (1995)
Søren Christensen, Hans Hüttel, Colin Stirling
Bisimulation Equivalence is Decidable for All Context-Free Processes Inf. Comput. 121 (2) (1995)
Colin Stirling
Modal and Temporal Logics for Processes. Banff Higher Order Workshop (1995)
Henrik Reif Andersen, Colin Stirling, Glynn Winskel
A Compositional Proof System for the Modal mu-Calculus LICS (1994)
Søren Christensen, Hans Hüttel, Colin Stirling
Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR (1992)
Julian C. Bradfield, Colin Stirling
Local Model Checking for Infinite State Spaces. Theor. Comput. Sci. 96 (1) (1992)
Hans Hüttel, Colin Stirling
Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes LICS (1991)
Colin Stirling, David Walker
Local Model Checking in the Modal mu-Calculus. Theor. Comput. Sci. 89 (1) (1991)
Julian C. Bradfield, Colin Stirling
Verifying Temporal Properties of Processes. CONCUR (1990)
Colin Stirling, David Walker
Local Model Checking in the Modal Mu-Calculus. TAPSOFT, Vol.1 (1989)
Colin Stirling, David Walker
CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus. Automatic Verification Methods for Finite State Systems (1989)
Colin Stirling
An Introduction to Modal and Temporal Logics for CCS. Concurrency: Theory, Language, And Architecture (1989)
Colin Stirling
A Generalization of Owicki-Gries's Hoare Logic for a Concurrent while Language. Theor. Comput. Sci. 58 (1988)
Colin Stirling
Temporal logics for CCS. REX Workshop (1988)
Colin Stirling
Modal Logics for Communicating Systems. Theor. Comput. Sci. 49 (1987)
Colin Stirling
Comparing Linear and Branching Time Temporal Logics. Temporal Logic in Specification (1987)
Gerardo Costa, Colin Stirling
Weak and Strong Fairness in CCS Inf. Comput. 73 (3) (1987)
Gordon D. Plotkin, Colin Stirling
A Framework for Intuitionistic Modal Logics. TARK (1986)
Colin Stirling
A Compositional Reformulation of Owicki-Gries's Partial Correctness Logic for a Concurrent While Language. ICALP (1986)
Matthew Hennessy, Colin Stirling
The Power of the Future Perfect in Program Logics Inf. Control. 67 (1-3) (1985)
Colin Stirling
A Complete Compositional Model Proof System for a Subset of CCS. ICALP (1985)
Colin Stirling
Follow Set Error Recovery. Softw. Pract. Exp. 15 (3) (1985)
Colin Stirling
A Proof-Theoretic Characterization of Observational Equivalence. Theor. Comput. Sci. 39 (1985)
Gerardo Costa, Colin Stirling
A Fair Calculus of Communicating Systems. Acta Informatica 21 (1984)
Matthew Hennessy, Colin Stirling
The Power of the Future Perfect in Program Logics. MFCS (1984)
Gerardo Costa, Colin Stirling
Weak and Strong Fairness in CCS. MFCS (1984)
Gerardo Costa, Colin Stirling
A Fair Calculus of Communicating Systems. FCT (1983)