Autor der Publikation

Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.

, , , , und . VL/HCC, Seite 47-50. IEEE Computer Society, (2009)

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)Restriction Constructions in Specification Logics., und . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Algebraic Specification.. Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)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)