Autor der Publikation

Abstract Graph Derivations in the Double Pushout Approach.

, , , , und . Dagstuhl Seminar on Graph Transformations in Computer Science, Volume 776 von Lecture Notes in Computer Science, Seite 86-103. Springer, (1993)

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

On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers., und . IEEE Trans. Computers, 19 (11): 1111-1114 (1970)Dynamic Programming on Nominal Graphs., , und . GaM, Volume 181 von EPTCS, Seite 80-96. (2015)Concurrency and Probability: Removing Confusion, Compositionally., , und . CoRR, (2017)Soft constraints for KnowLang., und . C3S2E, Seite 99-103. ACM, (2012)Liveness Properties as Convergence in Metric Spaces, und . STOC, Seite 31-38. ACM, (1984)Labeled Event Structures: A Model for Observable Concurrency., , und . Formal Description of Programming Concepts, Seite 383-400. North-Holland, (1982)A Modular LTS for Open Reactive Systems., , und . IFIP TCS, Volume 7604 von Lecture Notes in Computer Science, Seite 134-148. Springer, (2012)On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs., , , und . Fundam. Informaticae, 134 (3-4): 287-317 (2014)Reconfigurable and Software-Defined Networks of Connectors and Components., , und . The ASCENS Approach, Volume 8998 von Lecture Notes in Computer Science, Springer, (2015)Combining CCS and Petri Nets Via Structural Axioms., und . Fundam. Informaticae, 20 (1/2/3): 193-229 (1994)