Colin Stirling

Available identifiers

zbMath Open stirling.colinMaRDI QIDQ578895

List of research outcomes

Publication	Date of Publication	Type
Decidability of bisimulation equivalence for normed pushdown processes	2023-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q4994684	2021-06-21	Paper
Bisimulation and logic	2014-04-25	Paper
Model-Checking Games for Typed λ-Calculi	2013-12-06	Paper
Proof Systems for Retracts in Simply Typed Lambda Calculus	2013-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3059185	2010-12-08	Paper
Robin Milner: 13 January 1934-20 March 2010	2010-11-22	Paper
Decidability of higher-order matching	2009-08-20	Paper
Dependency Tree Automata	2009-03-31	Paper
A Game-Theoretic Approach to Deciding Higher-Order Matching	2007-09-11	Paper
Second-Order Simple Grammars	2007-09-04	Paper
Computer Science Logic	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4737211	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738230	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4474205	2004-08-04	Paper
Discontinuous modelling of masonry bridges	2004-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2760241	2003-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4440830	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4779172	2002-11-25	Paper
Model Checking Games for Branching Time Logics	2002-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2769443	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2753669	2001-12-09	Paper
Decidability of DPDA equivalence	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4218096	2000-08-02	Paper
Bisimulation, modal logic and model checking games	1999-09-09	Paper
Decidability of bisimulation equivalence for normed pushdown processes	1999-01-20	Paper
Actions speak louder than words: proving bisimilarity for context-free processes	1998-09-27	Paper
Local model checking for infinite state spaces	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4733387	1989-01-01	Paper
A generalization of Owicki-Gries's Hoare logic for a concurrent while language	1988-01-01	Paper
Modal logics for communicating systems	1987-01-01	Paper
Weak and strong fairness in CCS	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3815279	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727371	1986-01-01	Paper
A proof-theoretic characterization of observational equivalence	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677160	1985-01-01	Paper
The power of the future perfect in program logics	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707371	1985-01-01	Paper
A fair calculus of communicating systems	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3221398	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343420	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326820	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666267	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Colin Stirling