Testing Equivalences for Processes (1984)

Cached

Download Links

by R. De Nicola , M. C. B. Hennessy
Venue:Theoretical Computer Science
Citations:405 - 24 self

Document Versions

Testing Equivalences for Processes –R. De Nicola, M. C. B. Hennessy — 1984 — Theoretical Computer Science