Cleaveland, R. ; Lüttgen, G. ; Mendler, Michael: An algebraic theory of multiple clocks
. In: Mazurkiewicz, A. ; Winkowski, J. (Hrsg.) : Proceedings of the International Conference on Concurrency Theory (CONCUR '97). Berlin u.a. : Springer, 1997, S. 166-180. (LNCS Bd. 1243)
|