Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations., , und . Math. Struct. Comput. Sci., 7 (3): 241-282 (1997)On the Semantics of Place/Transition Petri Nets., , und . Math. Struct. Comput. Sci., 7 (4): 359-397 (1997)Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic., , und . Math. Struct. Comput. Sci., 12 (1): 53-90 (2002)Contextual Nets., und . Acta Informatica, 32 (6): 545-596 (1995)Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types., , und . Theor. Comput. Sci., 331 (2-3): 325-365 (2005)On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies., und . Theor. Comput. Sci., 141 (1&2): 195-252 (1995)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., und . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)A basic algebra of stateless connectors., , und . Theor. Comput. Sci., 366 (1-2): 98-120 (2006)Executing Transactions in Zero-Safe Nets., und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 83-102. Springer, (2000)CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements., und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 18-32. Springer, (2007)