Norton, B. ; Luettgen, G. ; Mendler, Michael:
A compositional semantic theory for synchronous component-based design
.
In: Amadio, R. ; Lugiez, D. (Hrsg.) : Int`l Conference on Concurrency Theory
(Concur`03, Marseille, Sept. 2003).
Berlin u.a. : Springer, 2003, S. 461-476. (LNCS Bd. 2761)
Institution: Professur für Grundlagen der Informatik
|
|