Items where Author is "Hennessy, Matthew"

Group by: Creators | Item Type | Date | No Grouping

Jump to: 1987 | 1984 | 1983

Number of items: 3.

1987

De Nicola, Rocco and Hennessy, Matthew CCS without tau's. In: TAPSOFT '87, Vol.1. Lecture Notes in Computer Science, 249 . Springer, pp. 138-152. ISBN 3-540-17660-8 (1987)

1984

Hennessy, Matthew and De Nicola, Rocco Testing Equivalences for Processes. Theoretical Computer Science, 34. pp. 83-133. ISSN 0304-3975 (1984)

1983

De Nicola, Rocco and Hennessy, Matthew Testing Equivalence for Processes. In: Automata, Languages and Programming (ICALP 1983). Lecture Notes in Computer Science, 154 . Springer, pp. 548-560. ISBN 3-540-12317-2 (1983)

This list was generated on Fri Apr 26 20:17:49 2024 CEST.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.