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)
Institution: Professur für Grundlagen der Informatik
|
|