PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Henrio, Ludovic"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Asynchronous and deterministic objects.

, , und . POPL, Seite 123-134. ACM, (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.

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

Weitere Publikationen von Autoren mit dem selben Namen

Structural Reconfiguration: An Autonomic Strategy for GCM Components., , und . ICAS, Seite 123-128. IEEE Computer Society, (2009)Active Objects for Coordinating BSP Computations (Short Paper)., , , und . COORDINATION, Volume 10852 von Lecture Notes in Computer Science, Seite 220-230. Springer, (2018)From Modelling to Systematic Deployment of Distributed Active Objects., und . COORDINATION, Volume 9686 von Lecture Notes in Computer Science, Seite 208-226. Springer, (2016)Preface for the special issue on Interaction and Concurrency Experience 2017., , , und . J. Log. Algebr. Meth. Program., (2019)Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL., und . Electron. Notes Theor. Comput. Sci., 264 (1): 35-53 (2010)Behavioural models for distributed Fractal components., , , , und . Annales des Télécommunications, 64 (1-2): 25-43 (2009)Verifying the correct composition of distributed components: Formalisation and Tool., , , und . FOCLASA, Volume 175 von EPTCS, Seite 69-85. (2014)Behavioural Models for Hierarchical Components., , und . SPIN, Volume 3639 von Lecture Notes in Computer Science, Seite 154-168. Springer, (2005)Asynchonous Distributed Components: Concurrency and Determinacy., und . IFIP TCS, Volume 209 von IFIP, Seite 165-183. Springer, (2006)pNets: An Expressive Model for Parameterised Networks of Processes., , und . PDP, Seite 492-496. IEEE Computer Society, (2015)