PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Pino, Elvira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.

, , , , , und . Fundam. Inform., 99 (1): 95-124 (2010)

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.

Keine Personen gefunden für den Autorennamen Pino, Elvira
Eine Person hinzufügen mit dem Namen Pino, Elvira
 

Weitere Publikationen von Autoren mit dem selben Namen

A Monotonic Declarative Semantics for Normal Logic Programs., , und . APPIA-GULP-PRODE, Seite 271-282. (1997)A General Algebraic Framework for Studying Modular Systems., und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 271-290. Springer, (1999)A Transformational Semantics of Static Embedded Implications of Normal Logic Programs., , , und . LOPSTR, Volume 3901 von Lecture Notes in Computer Science, Seite 133-146. Springer, (2005)Object-Oriented Connector-Component Architectures., , , , , und . Electron. Notes Theor. Comput. Sci., 141 (3): 123-151 (2005)Semantic Definitions for Normal Open Programs., und . ICLP, Seite 200-214. MIT Press, (1999)Tight and Loose Semantics for Transformation Systems., , und . WADT, Volume 2267 von Lecture Notes in Computer Science, Seite 238-255. Springer, (2001)On the Integration of Modular Heterogeneous Specifications., und . SoftSpez Final Report, Volume 3147 von Lecture Notes in Computer Science, Seite 582-601. Springer, (2004)A Generic Approach to Connector Architectures Part I: The General Framework., , , , , und . Fundam. Inform., 99 (1): 63-93 (2010)Towards a Navigational Logic for Graphical Structures., , , und . Graph Transformation, Specifications, and Nets, Volume 10800 von Lecture Notes in Computer Science, Seite 124-141. Springer, (2018)Correctness of Incremental Model Synchronization with Triple Graph Grammars., und . ICMT, Volume 8568 von Lecture Notes in Computer Science, Seite 74-90. Springer, (2014)