Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989) Checking for Infinite Systems 135 (0)

by R Milner