Edinburgh Research Archive
Search ERA
Advanced Search
Home
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Publication Type
Sign on to:
Receive email
updates
My ERA
authorized users
Edit Profile
Help
About DSpace
Edinburgh Research Archive
>
Browsing by Author Stirling, Colin
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
submit date
title
issue date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 11 of 11
Issue Date
Title
Author(s)
Supervisor(s)
Jul-2002
Asynchronous Queue Machines with Explicit Forwarding
Beringer, Lennart
Stirling, Colin
Jan-2000
Decidability of Bisimulation Equivalence for Pushdown Processes
Stirling, Colin
-
Jul-1991
Decidability, Behavioural Equivalences and Infinite Transition Graphs
Hüttel, Hans
Stirling, Colin
25-Jun-2012
Game semantics for probabilistic modal μ-calculi
Mio, Matteo
Simpson, Alex; Stirling, Colin
Jul-2003
Games for Modal and Temporal Logics
Lange, Martin
Stirling, Colin
30-Jun-2011
On bisimulation and model-checking for concurrent systems with partial order semantics
Gutierrez, Julian
Bradfield, Julian; Stark, Ian; Stirling, Colin
Jul-1998
Process Abstraction in the Verification of Temporal Properties
Bruns, Glen R
Stirling, Colin
Nov-1990
Relevance Logic and Concurrent Composition
Dam, Mads F
Stirling, Colin
2010
Tableau systems for the modal μ-calculus
Jungteerapanich, Natthapong
Stirling, Colin; Bradfield, Julian
Jul-1997
Using Automata to Characterise Fixed Point Temporal Logics
Kaivola, Roope
Stirling, Colin
1991
Verifying temporal properties of systems with applications to petri nets
Bradfield, Julian Charles
Stirling, Colin
Showing results 1 to 11 of 11
DSpace Software
Copyright © 2002-2010
Duraspace
-
Feedback
