Analysis of discrete event coordination (1989)

by R P Kurshan
Venue:Proc. of the REX Workshop on Stepwise Re of Distributed Systems, volume 430 of Lecture Notes in Computer Science