,
IOS Press
Fundamenta Informaticae

Weijland, W. P. (1989). The algebra of synchronous processes. Fundamenta Informaticae, 12(2), 139–162.