A hierarchy of equivalences for asynchronous calculi. - Goos, Gerhard; Hartmanis, Juris; Leeuwen, Jan; Larsen, Kim G.; Skyum, Sven; Winskel, Glynn; Fournet, Cédric; Gonthier, Georges (Automata, Languages & Programming (9783540647812), 1998)