Logo eprints

Items where Author is "Hennessy, Matthew"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: De | He
Number of items: 6.

De

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)

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

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)

He

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)

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

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 Wed Jun 29 10:25:22 2022 CEST.