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

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