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 6 to 11 of 11
< previous
Issue Date
Title
Author(s)
Supervisor(s)
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 6 to 11 of 11
< previous
DSpace Software
Copyright © 2002-2010
Duraspace
-
Feedback
