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)D-Fusion: A Distinctive Fusion Calculus., , und . APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 296-310. Springer, (2004)Labeled Event Structures: A Model for Observable Concurrency., , und . Formal Description of Programming Concepts, Seite 383-400. North-Holland, (1982)Soft constraints for KnowLang., und . C3S2E, Seite 99-103. ACM, (2012)Graph rewriting with unification and composition., , und . Graph-Grammars and Their Application to Computer Science, Volume 291 von Lecture Notes in Computer Science, Seite 496-514. Springer, (1986)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)Executing Transactions in Zero-Safe Nets., und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 83-102. Springer, (2000)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., und . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)