Analysis of discrete event coordination,” in (1989)

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