Link to TCD homepageLink to TCD homepage
Link to TARA homepageaghLink to TARA homepageagh
  • 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 & CollectionsTitlesAuthorsDate of PublicationSubjectsSponsor

This Academic/Research Unit

TitlesAuthorsDate of PublicationSubjectsSponsor

Discover

Author

HENNESSY, MATTHEW (41)
DE VRIES, EDSKO (2)KOUTAVAS, VASILEIOS (2)BERNARDI, GIOVANNI (1)CERONE, ANDREA (1)

Subject

Computer science (15)Computer sciences (8)Administrative Staff Authors (4)Computer Science (3)distributed systems (3)picalculus (3)bisimulation (2)bisimulations (2)Statistics and probability (2)testing equivalences (2)... View More

Date Issued

2010 - 2015 (17)2000 - 2009 (18)1990 - 1999 (4)1988 - 1989 (2)

Sponsor

Science Foundation Ireland (SFI) (11)Engineering and Physical Sciences Research Council (EPSRC) (3)Australian Research Council (ARC) (1)National Institutes of Health (NIH) (1)National Natural Science Foundation of China (60703033). (1)National Science Foundation (NSF) (1)

Search

Advanced Search

Use advanced search to refine the search results.

Now showing items 1-10 of 41

  • 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
Link to item page

Assigning Types to Processes 

HENNESSY, MATTHEW (IEEE Computer Society Press., 2000)
Link to item page

Priorities in process algebras. 

HENNESSY, MATTHEW (IEEE Computer Society, 1988)
Link to item page

A fully abstract denotational model for higher-order processes 

HENNESSY, MATTHEW (IEEE Computer Society Press, 1993)
Link to item page

Proof methodologies for behavioural equivalence in DPI 

HENNESSY, MATTHEW (Springer, 2005)
Link to item page

Resource access control in systems of mobile agents (Extended Abstract). 

HENNESSY, MATTHEW (Elsevier, 1998)
Link to item page

Adding Recursion to Dpi. (Extended Abstract) 

HENNESSY, MATTHEW (Electronic Notes in Theoretical Computer Science, 2006)
Link to item page

Bisimulation Congruences in Safe Ambients (extended abstract). 

HENNESSY, MATTHEW (2002)
Link to item page

Inferring dynamic credentials for role-based trust management 

HENNESSY, MATTHEW (ACM, 2006)
Link to item page

Compositional Reasoning for Markov Decision Processes 

HENNESSY, MATTHEW (2011)
Link to item page

Liveness of Communicating Transactions (Extended Abstract) 

DE VRIES, EDSKO; HENNESSY, MATTHEW; KOUTAVAS, VASILEIOS (2010)
  • «
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 5
  • »
DSpace software copyright © 2002-2013  Duraspace
Contact Us | Send Feedback
 
DSpace software copyright © 2002-2013  Duraspace
Contact Us | Send Feedback