ªPartial Orderings of Event Sets and Their Application to Prototyping Concurrent (1993)

by D C Luckham, J Vera, D Bryan, L Augustin, F Belz
Venue:Timed Systems,º J. Systems and Software