Readies and failures in the algebra of communicating processes / J.A. Bergstra, J.W. Klop, E.-R. Olderog
Readies and failures in the algebra of communicating processes