Autor der Publikation

A Component Framework Based on High-Level Replacement Systems.

, , , , und . GT-VMT@ICGT, Volume 72 von Electronic Notes in Theoretical Computer Science, Seite 118-132. Elsevier, (2002)

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

Concurrent Transformations of Graphs and Relational Structures., und . WG, Seite 76-88. Universitätsverlag Rudolf Trauner, Linz, (1983)Fundamentals of Algebraic Specification 2, und . EATCS Monographs on Theoretical Computer Science Springer, (1990)Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars., und . Graph-Grammars and Their Application to Computer Science, Volume 532 von Lecture Notes in Computer Science, Seite 292-310. Springer, (1990)Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification).. Bulletin of the EATCS, (2004)Algebraic Techniques in Software Development., und . Bulletin of the EATCS, (1996)Dynamic Abstract Data Types: An informal Proposal., und . Bulletin of the EATCS, (1994)How to Transfer Concepts of Abstract Data Types to Petri Nets?, , und . Bulletin of the EATCS, (1997)Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).. Bulletin of the EATCS, (2004)Algebraic Specification Schemes for Data Base Systems., , und . VLDB, Seite 427-440. IEEE Computer Society, (1978)Specification of Modular Systems, und . University of Dortmund, Report 198, (1985)