Nicola & MC Hennessy [1983], "Testing equivalence for processes (0)

by R de
Venue:Theoretical Computer Science