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

Liveness Properties as Convergence in Metric Spaces, und . STOC, Seite 31-38. ACM, (1984)On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs., , , und . Fundam. Informaticae, 134 (3-4): 287-317 (2014)Combining CCS and Petri Nets Via Structural Axioms., und . Fundam. Informaticae, 20 (1/2/3): 193-229 (1994)Parameterized Structured Operational Semantics., und . Fundam. Informaticae, 34 (1-2): 1-31 (1998)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., und . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs., , , und . Sci. Comput. Program., 30 (1-2): 51-82 (1998)Behaviour, Interaction and Dynamics., , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 382-401. Springer, (2014)Causal Trees, Finally., , und . Programming Languages with Applications to Biology and Security, Volume 9465 von Lecture Notes in Computer Science, Seite 27-43. Springer, (2015)Coalgebraic Symbolic Semantics., und . CALCO, Volume 5728 von Lecture Notes in Computer Science, Seite 173-190. Springer, (2009)Representation Theorems for Petri Nets., , und . Foundations of Computer Science: Potential - Theory - Cognition, Volume 1337 von Lecture Notes in Computer Science, Seite 239-249. Springer, (1997)