( en | de | ru )

 

Disambiguierung von "Ehrig, Hartmut"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combined Algebraic Specification Techniques for Concurrent and Distributed Systems.

. GI Jahrestagung, Seite 528-533. 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.

Hartmut Ehrig

Hartmut Ehrig

Ehrig Lange

Gerhard Ehrig

Christiane Ehrig

 

Weitere Publikationen von Autoren mit dem selben Namen

Composition and Independence of High-Level Net Processes., , , und . FMWS@CONCUR, Volume 242 von Electronic Notes in Theoretical Computer Science, Seite 59-71. Elsevier, (2008)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)Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs., , und . GT-VMT@ETAPS, Volume 211 von Electronic Notes in Theoretical Computer Science, Seite 17-26. Elsevier, (2006)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)From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., und . CAI, Volume 4728 von Lecture Notes in Computer Science, Seite 122-146. Springer, (2007)Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs., , und . Unifying Petri Nets, Volume 2128 von Lecture Notes in Computer Science, Seite 230-249. Springer, (2001)A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development., und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 3-24. Springer, (1995)The Construct PRO of Projection Spaces: Its Internal Structure., und . Categorial Methods in Computer Science, Volume 393 von Lecture Notes in Computer Science, Seite 286-293. Springer, (1988)