Home
Submit
Login
Search
TARA
Administrative Staff Authors
Search
TARA
Administrative Staff Authors
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browse
All of TARA
Academic/Research Units & Collections
Titles
Authors
Date of Publication
Subjects
Sponsor
This Academic/Research Unit
Titles
Authors
Date of Publication
Subjects
Sponsor
Discover
Author
HENNESSY, MATTHEW (5)
Subject
Computer sciences (5)
amortisation (1)
bisimulation (1)
bisimulations (1)
message-passing programming (1)
modal and relational characterisations (1)
picalculus (1)
Process behaviour (1)
resources (1)
... View More
Date Issued
2011 (2)
2010 (2)
2009 (1)
Sponsor
Science Foundation Ireland (SFI) (5)
Australian Research Council (ARC) (1)
National Natural Science Foundation of China (60703033). (1)
Search
Go
Advanced Search
Use advanced search to refine the search results.
Reset
Add New Filter
Apply
Now showing items 1-5 of 5
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Author Asc
Author Desc
Results Per Page:
5
10
20
40
60
80
100
A Testing Theory for a Higher-Order Cryptographic Language
HENNESSY, MATTHEW
(
2011
)
Testing Finitary Probabilistic Processes
HENNESSY, MATTHEW
(
2009
)
Uniqueness Typing for Resource Management in Message-Passing Concurrency.
HENNESSY, MATTHEW
(
2010
)
Process Behaviour: Formulae vs. Tests
HENNESSY, MATTHEW
(
2010
)
A calculus for costed computations
HENNESSY, MATTHEW
(
2011
)