Context-Dependent Bisimulation Between Processes (1986)

by K G Larsen