Autor der Publikation

An Event Structure Semantics for Safe Graph Grammars.

, , , , und . PROCOMET, Volume A-56 von IFIP Transactions, Seite 423-444. North-Holland, (1994)

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

Revisiting causality, coalgebraically., , und . Acta Inf., 52 (1): 5-33 (2015)Final semantics for the pi-calculus., , , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 225-243. Chapman & Hall, (1998)Networks of constraints: Fundamental properties and applications to picture processing.. Inf. Sci., (1974)On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers., und . IEEE Trans. Computers, 19 (11): 1111-1114 (1970)Concurrency and Probability: Removing Confusion, Compositionally., , und . CoRR, (2017)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)Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic., , und . Math. Struct. Comput. Sci., 12 (1): 53-90 (2002)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)