Searching for authors named Matthew Hennessy – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Typed Behavioural Equivalences for Processes in the Presence of Subtyping
- … of subtyping Matthew Hennessy and Julian Rathke COGS, University of Sussex, Brighton BN1 9QH UK email…
- Cited by 26 (8 self) – Add To MetaCart
-
Assigning Types to Processes (Extended Abstract)
- …Assigning Types to Processes (Extended Abstract) NOBUKO YOSHIDA MATTHEW HENNESSY Dept…
- Cited by 1 (0 self) – Add To MetaCart
-
Secure Resource Access for Mobile Agents
- …Secure Resource Access for Mobile Agents JAMES RIELY AND MATTHEW HENNESSY ABSTRACT. In open…
- Cited by 1 (0 self) – Add To MetaCart
-
A fault tolerance bisimulation proof for consensus
- … and Matthew Hennessy 2 1 Imperial College, London SW7 2BZ, England, adrianf@(email omitted); 2 University…
- Cited by 1 (0 self) – Add To MetaCart
-
A bisimulation-based semantic theory of safe ambients
- …, Università di Verona and MATTHEW HENNESSY Department of Informatics, University of Sussex We develop a…
- Cited by 5 (0 self) – Add To MetaCart
-
Bisimulation Congruences in Safe Ambients
- …Bisimulation Congruences in Safe Ambients Massimo Merro and Matthew Hennessy COGS, University…
- Cited by 46 (7 self) – Add To MetaCart
-
A theory of system behaviour in the presence of node and link failures
- … Francalanza 1 and Matthew Hennessy 1 University of Sussex, Falmer Brighton BN1 9RH, England, {adrianf…
- Cited by 10 (2 self) – Add To MetaCart
-
Testing Equivalence as a Bisimulation Equivalence
- … Department North Carolina State University Box 8206 Raleigh, NC 27695 USA Matthew Hennessy Computer…
- Cited by 45 (10 self) – Add To MetaCart
-
Testing Theories for Asynchronous Languages
- …Testing Theories for Asynchronous Languages ? Ilaria Castellani 1 and Matthew Hennessy 2 1…
- Cited by 13 (1 self) – Add To MetaCart
-
On the Decidability of Non-Interleaving Process Equivalences
- … Informatik, TU Munchen Arcisstr.21, D--80290 Munchen email: kiehn@(email omitted); Matthew Hennessy…
- Cited by 8 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
