Synchronization and Linearity: an Algebra for Discrete Event Systems (1992)

by F L Baccelli, G Cohen, G J Olsder, J-P Quadrat