Autor der Publikation

Efficient Session Type Guided Distributed Interaction.

, , , und . COORDINATION, Volume 6116 von Lecture Notes in Computer Science, Seite 152-167. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Cooperative Decoupled Processes, , , und . Software Quality Journal, (22.06.2017)Programming Scalable Cloud Services with AEON., , , , und . CoRR, (2019)Bridging Java and AspectJ through explicit join points., und . PPPJ, Volume 272 von ACM International Conference Proceeding Series, Seite 63-72. ACM, (2007)Software-Based Remote Network Attestation., , und . IEEE Trans. Dependable Secur. Comput., 19 (5): 2920-2933 (2022)PLASMA: programmable elasticity for stateful cloud computing applications., , , , , und . EuroSys, Seite 42:1-42:15. ACM, (2020)Pervaho: A Development & Test Platform for Mobile Ad hoc Applications., , und . MobiQuitous, Seite 1-5. IEEE Computer Society, (2006)An Algebraic Language for Specifying Quantum Networks., , , , , und . Proc. ACM Program. Lang., 8 (PLDI): 1313-1335 (2024)Secure distributed data and event processing at scale: where are we now?. DEBS, Seite 6. ACM, (2023)Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation., , , , und . Proc. ACM Program. Lang., 7 (PLDI): 267-291 (2023)Towards Software-Defined Buffer Management., , , , , , und . IEEE/ACM Trans. Netw., 28 (5): 2337-2349 (2020)