Testing Equivalences for Processes (1984)

Cached


Other Repositories/Bibliography

  • DBLP
    • by R. De Nicola , M. C. B. Hennessy
    Venue:Theoretical Computer Science
    Citations:363 - 19 self

    Document Versions

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