Testing equivalences for processes

Theoretical Computer Science - Tập 34 Số 1-2 - Trang 83-133 - 1984