Andersen, H.R. ; Mendler, Michael:
An asynchronous process algebra with multiple clocks
.
In: Sannella, D. (Hrsg.) : European Symposium on Programming.
Berlin u.a. : Springer, 1994, S. 58-73. (LNCS Bd. 788)
Institution: Professur für Grundlagen der Informatik
|
|