×
Author ID: stirling.colin Recent zbMATH articles by "Stirling, Colin"
Published as: Stirling, Colin; Stirling, C.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 448 times in 347 Documents Cited by Year
Modal logics and mu-calculi: An introduction. Zbl 1002.03021
Bradfield, Julian; Stirling, Colin
49
2001
Local model checking in the modal mu-calculus. Zbl 0745.03027
Stirling, Colin; Walker, David
45
1991
Bisimulation equivalence is decidable for all context-free processes. Zbl 0833.68074
Christensen, Søren; Hüttel, Hans; Stirling, Colin
34
1995
Modal logics for communicating systems. Zbl 0624.68019
Stirling, Colin
32
1987
Decidability of DPDA equivalence. Zbl 0974.68056
Stirling, C.
30
2001
Temporal logics for CCS. (Technical contribution). Zbl 0683.68016
Stirling, C.
20
1989
Weak and strong fairness in CCS. Zbl 0618.68026
Costa, Gerardo; Stirling, Colin
19
1987
Decidability of weak bisimilarity for a subset of basic parallel processes. Zbl 0978.68102
Stirling, Colin
18
2001
Bisimulation, modal logic and model checking games. Zbl 0920.03034
Stirling, Colin
17
1999
The joys of bisimulation. Zbl 0942.68075
Stirling, Colin
15
1998
Deciding DPDA equivalence is primitive recursive. Zbl 1057.68052
Stirling, Colin
15
2002
The power of the future perfect in program logics. Zbl 0582.68010
Hennessy, Matthew; Stirling, Colin
14
1985
Local model checking for infinite state spaces. Zbl 0747.68036
Bradfield, Julian; Stirling, Colin
12
1992
Actions speak louder than words: Proving bisimilarity for context-free processes. Zbl 0904.68129
Hüttel, Hans; Stirling, Colin
11
1998
Decidability of bisimulation equivalence for normed pushdown processes. Zbl 0915.68119
Stirling, Colin
11
1998
Modal and temporal properties of processes. Zbl 0981.68114
11
1999
A generalization of Owicki-Gries’s Hoare logic for a concurrent while language. Zbl 0653.03017
Stirling, Colin
10
1988
A fair calculus of communicating systems. Zbl 0538.68014
Costa, Gerardo; Stirling, Colin
10
1984
A proof-theoretic characterization of observational equivalence. Zbl 0567.68020
Stirling, Colin
7
1985
Rational graphs trace context-sensitive languages. Zbl 0999.68107
Morvan, Christophe; Stirling, Colin
6
2001
A complete modal proof system for a subset of SCCS. Zbl 0563.68025
Stirling, Colin
6
1985
Proof, language, and interaction. Essays in honour of Robin Milner. Zbl 0968.68018
5
2000
Decidability of higher-order matching. Zbl 1168.03314
Stirling, Colin
5
2009
The power of the future perfect in program logics. Zbl 0557.68029
Hennessy, M.; Stirling, C.
5
1984
Model checking fixed point logic with chop. Zbl 1077.68690
Lange, Martin; Stirling, Colin
4
2002
A game-theoretic approach to deciding higher-order matching. Zbl 1133.03315
Stirling, Colin
4
2006
Weak and strong fairness in CCS. Zbl 0551.68021
Costa, Gerardo; Stirling, Colin
4
1984
Model checking games for branching time logics. Zbl 1001.68077
Lange, Martin; Stirling, Colin
3
2002
Discontinuous modelling of masonry bridges. Zbl 1038.74588
Bićanić, N.; Stirling, C.; Pearce, C. J.
3
2003
A complete compositional modal proof system for a subset of CCS. Zbl 0584.68028
Stirling, Colin
3
1985
A compositional reformulation of Owicki-Gries’s partial correctness logic for a concurrent while language. Zbl 0595.68030
Stirling, Colin
3
1986
Decidability of bisimulation equivalence for normed pushdown processes. Zbl 1514.68183
Stirling, Colin
3
1996
Predicate modifiers in tense logic. Zbl 0664.03006
Butterfield, Jeremy; Stirling, Colin
2
1987
Higher-order matching and games. Zbl 1136.68428
Stirling, Colin
2
2005
A proof theoretic characterization of observational equivalence. Zbl 0539.68011
Stirling, Colin
2
1983
An introduction to decidability of DPDA equivalence. Zbl 1057.68051
Stirling, Colin
1
2001
Bisimulations and language equivalence. Zbl 1036.68068
Stirling, Colin
1
2003
Proof systems for retracts in simply typed lambda calculus. Zbl 1335.03013
Stirling, Colin
1
2013
Bisimulation and logic. Zbl 1285.68113
Stirling, Colin
1
2012
Dependency tree automata. Zbl 1234.03025
Stirling, Colin
1
2009
Second-order simple grammars. Zbl 1151.68451
Stirling, Colin
1
2006
A fair calculus of communicating systems. Zbl 0517.68050
Costa, Gerardo; Stirling, Colin
1
1983
A proof system with names for modal \(\mu\)-calculus. Zbl 1464.03035
Stirling, Colin
1
2013
Proof systems for retracts in simply typed lambda calculus. Zbl 1335.03013
Stirling, Colin
1
2013
A proof system with names for modal \(\mu\)-calculus. Zbl 1464.03035
Stirling, Colin
1
2013
Bisimulation and logic. Zbl 1285.68113
Stirling, Colin
1
2012
Decidability of higher-order matching. Zbl 1168.03314
Stirling, Colin
5
2009
Dependency tree automata. Zbl 1234.03025
Stirling, Colin
1
2009
A game-theoretic approach to deciding higher-order matching. Zbl 1133.03315
Stirling, Colin
4
2006
Second-order simple grammars. Zbl 1151.68451
Stirling, Colin
1
2006
Higher-order matching and games. Zbl 1136.68428
Stirling, Colin
2
2005
Discontinuous modelling of masonry bridges. Zbl 1038.74588
Bićanić, N.; Stirling, C.; Pearce, C. J.
3
2003
Bisimulations and language equivalence. Zbl 1036.68068
Stirling, Colin
1
2003
Deciding DPDA equivalence is primitive recursive. Zbl 1057.68052
Stirling, Colin
15
2002
Model checking fixed point logic with chop. Zbl 1077.68690
Lange, Martin; Stirling, Colin
4
2002
Model checking games for branching time logics. Zbl 1001.68077
Lange, Martin; Stirling, Colin
3
2002
Modal logics and mu-calculi: An introduction. Zbl 1002.03021
Bradfield, Julian; Stirling, Colin
49
2001
Decidability of DPDA equivalence. Zbl 0974.68056
Stirling, C.
30
2001
Decidability of weak bisimilarity for a subset of basic parallel processes. Zbl 0978.68102
Stirling, Colin
18
2001
Rational graphs trace context-sensitive languages. Zbl 0999.68107
Morvan, Christophe; Stirling, Colin
6
2001
An introduction to decidability of DPDA equivalence. Zbl 1057.68051
Stirling, Colin
1
2001
Proof, language, and interaction. Essays in honour of Robin Milner. Zbl 0968.68018
5
2000
Bisimulation, modal logic and model checking games. Zbl 0920.03034
Stirling, Colin
17
1999
Modal and temporal properties of processes. Zbl 0981.68114
11
1999
The joys of bisimulation. Zbl 0942.68075
Stirling, Colin
15
1998
Actions speak louder than words: Proving bisimilarity for context-free processes. Zbl 0904.68129
Hüttel, Hans; Stirling, Colin
11
1998
Decidability of bisimulation equivalence for normed pushdown processes. Zbl 0915.68119
Stirling, Colin
11
1998
Decidability of bisimulation equivalence for normed pushdown processes. Zbl 1514.68183
Stirling, Colin
3
1996
Bisimulation equivalence is decidable for all context-free processes. Zbl 0833.68074
Christensen, Søren; Hüttel, Hans; Stirling, Colin
34
1995
Local model checking for infinite state spaces. Zbl 0747.68036
Bradfield, Julian; Stirling, Colin
12
1992
Local model checking in the modal mu-calculus. Zbl 0745.03027
Stirling, Colin; Walker, David
45
1991
Temporal logics for CCS. (Technical contribution). Zbl 0683.68016
Stirling, C.
20
1989
A generalization of Owicki-Gries’s Hoare logic for a concurrent while language. Zbl 0653.03017
Stirling, Colin
10
1988
Modal logics for communicating systems. Zbl 0624.68019
Stirling, Colin
32
1987
Weak and strong fairness in CCS. Zbl 0618.68026
Costa, Gerardo; Stirling, Colin
19
1987
Predicate modifiers in tense logic. Zbl 0664.03006
Butterfield, Jeremy; Stirling, Colin
2
1987
A compositional reformulation of Owicki-Gries’s partial correctness logic for a concurrent while language. Zbl 0595.68030
Stirling, Colin
3
1986
The power of the future perfect in program logics. Zbl 0582.68010
Hennessy, Matthew; Stirling, Colin
14
1985
A proof-theoretic characterization of observational equivalence. Zbl 0567.68020
Stirling, Colin
7
1985
A complete modal proof system for a subset of SCCS. Zbl 0563.68025
Stirling, Colin
6
1985
A complete compositional modal proof system for a subset of CCS. Zbl 0584.68028
Stirling, Colin
3
1985
A fair calculus of communicating systems. Zbl 0538.68014
Costa, Gerardo; Stirling, Colin
10
1984
The power of the future perfect in program logics. Zbl 0557.68029
Hennessy, M.; Stirling, C.
5
1984
Weak and strong fairness in CCS. Zbl 0551.68021
Costa, Gerardo; Stirling, Colin
4
1984
A proof theoretic characterization of observational equivalence. Zbl 0539.68011
Stirling, Colin
2
1983
A fair calculus of communicating systems. Zbl 0517.68050
Costa, Gerardo; Stirling, Colin
1
1983
all top 5

Cited by 474 Authors

11 Lange, Martin
10 Stirling, Colin
9 Jančar, Petr
8 Santone, Antonella
6 Dam, Mads
6 Kucera, Antonin
6 Larsen, Kim Guldstrand
6 Mayr, Richard M.
6 Pym, David J.
5 Corradini, Flavio
5 Grumberg, Orna
5 Hennessy, Matthew C. B.
5 Lasota, Sławomir
5 Srba, Jiří
5 Vaglini, Gigliola
4 Aceto, Luca
4 Czerwiński, Wojciech
4 De Giacomo, Giuseppe
4 Di Berardini, Maria Rita
4 Groote, Jan Friso
4 Hofman, Piotr
4 Ingólfsdóttir, Anna
4 Laroussinie, François
4 Studer, Thomas
4 van Breugel, Franck
4 van Glabbeek, Robert Jan
4 Vogler, Walter
4 Willemse, Tim A. C.
3 Abramsky, Samson
3 Baldan, Paolo
3 Bergstra, Jan A.
3 Cleaveland, Rance
3 Friedmann, Oliver
3 Fröschle, Sibylle B.
3 Göller, Stefan
3 Gradara, Sara
3 Gurov, Dilian
3 Gutierrez, Julian
3 Hartonas, Chrysafis
3 Ibarra, Oscar H.
3 Kobayashi, Naoki
3 Lohrey, Markus
3 Mordido, Andreia
3 Ponse, Alban
3 Schröder, Lutz
3 van Benthem, Johan F. A. K.
3 Vasconcelos, Vasco Thudichum
3 Villani, Maria Luisa
2 Alberucci, Luca
2 Almeida, Bernardo F.
2 Arnold, André
2 Baeten, Jos C. M.
2 Barbuti, Roberto
2 Basukoski, Artie
2 Benevides, Mario R. F.
2 Bolotov, Alexander
2 Boudol, Gérard
2 Bradfield, Julian Charles
2 Broadbent, Christopher H.
2 Bruns, Glenn
2 Carayol, Arnaud
2 Castellani, Ilaria
2 Cheng, Allan
2 Cho, Kenta
2 Clarke, Edmund Melson jun.
2 Collette, Pierre
2 Collinson, Matthew
2 Costa, Gerardo
2 Cranen, Sjoerd
2 De Francesco, Nicoletta
2 de Roever, Willem-Paul
2 Esparza, Javier
2 Fokkink, Willem Jan
2 French, Tim
2 Grabmayer, Clemens
2 Grädel, Erich
2 Gregorio-Rodríguez, Carlos
2 Guessarian, Irène
2 Hasuo, Ichiro
2 Hausmann, Daniel
2 Hennicker, Rolf
2 Huang, Mingzhang
2 Huisman, Marieke
2 Huth, Michael R. A.
2 Hüttel, Hans
2 Jäger, Gerhard
2 Kataoka, Toshiki
2 Kavanagh, Ryan
2 Kimura, Shigetomo
2 Klop, Jan Willem
2 König, Barbara
2 La Torre, Salvatore
2 Legay, Axel
2 Lodaya, Kamal
2 Luttik, Bas
2 Madeira, Alexandre
2 Majster-Cederbaum, Mila E.
2 Mardare, Radu
2 Markey, Nicolas
2 Massacci, Fabio
...and 374 more Authors
all top 5

Cited in 50 Serials

76 Theoretical Computer Science
40 Information and Computation
16 Acta Informatica
13 Journal of Computer and System Sciences
12 Formal Aspects of Computing
8 Journal of Logical and Algebraic Methods in Programming
7 Annals of Pure and Applied Logic
6 Information Processing Letters
6 MSCS. Mathematical Structures in Computer Science
6 ACM Transactions on Computational Logic
5 Journal of Philosophical Logic
5 Studia Logica
5 Formal Methods in System Design
5 Logical Methods in Computer Science
4 Theory of Computing Systems
4 RAIRO. Theoretical Informatics and Applications
4 Journal of Applied Logic
2 International Journal of Parallel Programming
2 Journal of Automated Reasoning
2 RAIRO. Informatique Théorique et Applications
2 Journal of Logic, Language and Information
2 International Game Theory Review
2 The Journal of Logic and Algebraic Programming
2 Sādhanā
2 Computer Languages, Systems & Structures
1 Artificial Intelligence
1 International Journal of Solids and Structures
1 Journal of Pure and Applied Algebra
1 Meccanica
1 SIAM Journal on Computing
1 Synthese
1 Science of Computer Programming
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Annals of Operations Research
1 International Journal of Foundations of Computer Science
1 Discrete Event Dynamic Systems
1 Distributed Computing
1 Cybernetics and Systems Analysis
1 Journal of Applied Non-Classical Logics
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Computational & Mathematical Organization Theory
1 Journal of the ACM
1 Higher-Order and Symbolic Computation
1 Fundamenta Informaticae
1 Theory and Practice of Logic Programming
1 Algorithms
1 Modelirovanie i Analiz Informatsionnykh Sistem
1 Logicheskie Issledovaniya

Citations by Year