Autor der Publikation

Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.

, und . Theory Pract. Log. Program., 7 (1-2): 123-151 (2007)

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

Reconfigurable and Software-Defined Networks of Connectors and Components., , und . The ASCENS Approach, Volume 8998 von Lecture Notes in Computer Science, Springer, (2015)Soft concurrent constraint programming., , und . ACM Trans. Comput. Log., 7 (3): 563-589 (2006)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)QoS negotiation in service composition., und . J. Log. Algebraic Methods Program., 80 (1): 13-24 (2011)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)Revisiting causality, coalgebraically., , und . Acta Inf., 52 (1): 5-33 (2015)