Context-dependent bisimulation between processes - Larsen, Kim Guldstrand 1957- (1986)
Zugl.: Edinburgh, Univ., Diss.