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
|
|