, , ,
SIAM
SIAM Journal on Computing
Specification and Analysis of Embedded Systems

Bergstra, J., Klop, J. W., & Olderog, E.-R. (1988). Readies and failures in the algebra of communicating processes. SIAM Journal on Computing, 17(6), 1134–1177.