Autor der Publikation

A Generic Framework for Connector Architectures based on Components and Transformations.

, , , , , , und . Electron. Notes Theor. Comput. Sci., (2004)

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

Workshop on Petri Nets and Graph Transformations., , , und . ICGT, Volume 4178 von Lecture Notes in Computer Science, Seite 467-469. Springer, (2006)Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.. Appl. Categorical Struct., 16 (3): 333-364 (2008)Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems.. Appl. Categorical Struct., 7 (4): 371-403 (1999)Subtyping for Hierarchical, Reconfigurable Petri Nets.. CoRR, (2018)Integration and Collaboration Based on Graphical Techniques (Editorial)., , und . Transactions of the SDPS, 5 (1): 1-2 (2001)A Uniform Approach to Petri Nets., und . Foundations of Computer Science: Potential - Theory - Cognition, Volume 1337 von Lecture Notes in Computer Science, Seite 219-231. Springer, (1997)Reconfigurable Open Algebraic High-Level Systems., und . ECEASST, (2008)From Basic Views and Aspects to Integration of Specification Formalisms., , und . Current Trends in Theoretical Computer Science, World Scientific, (2001)Towards Component Verification in the Generic Component Framework., , und . FESCA@ETAPS, Volume 203 von Electronic Notes in Theoretical Computer Science, Seite 37-53. Elsevier, (2007)Workshop on Petri Nets and Graph Transformations., , und . ICGT, Volume 3256 von Lecture Notes in Computer Science, Seite 442-444. Springer, (2004)