Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Search
Search:
All of OAR@UM
Faculty of Information and Communication Technology
Department of Computer Science
Dissertations - FacICTCS
Scholarly Works - FacICTCS
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-7 of 7 (Search time: 0.032 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2007
A theory for observational fault tolerance
Francalanza, Adrian
;
Hennessy, Matthew
2009
Uniqueness typing for resource management in message-passing concurrency
Devries, Edsko
;
Francalanza, Adrian
;
Hennessy, Matthew
2005
Location and link failure in a distributed π-calculus
Francalanza, Adrian
;
Hennessy, Matthew
2008
A theory of system behaviour in the presence of node and link failure
Francalanza, Adrian
;
Hennessy, Matthew
2007
A fault tolerance bisimulation proof for consensus
Francalanza, Adrian
;
Hennessy, Matthew
2011
Reasoning about explicit resource management
Devries, Edsko
;
Francalanza, Adrian
;
Hennessy, Matthew
2014
Compositional reasoning for explicit resource management in channel-based concurrency
Francalanza, Adrian
;
Devries, Edsko
;
Hennessy, Matthew
Discover
Author
3
Devries, Edsko