Luettgen, G. ; Mendler, Michael: Axiomatizing an algebra of step reactions for synchronous languages
. In: Brim, L. ; Jancar, P. ; Ketinsky, M. ; Kucera, A. (Hrsg.) : Int`l Conference on Concurrency Theory (CONCUR 02, Brno, August 2002). Berlin u.a. : Springer, 2002, S. 386-401. (LNCS Bd. 2421)
Institution: Professur für Grundlagen der Informatik
|