( en | de | ru )

 

Disambiguierung von "Lanese, Ivan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrent Flexible Reversibility.

, , , , und . ESOP, Volume 7792 von Lecture Notes in Computer Science, Seite 370-390. Springer, (2013)

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.

Svilen Ivanov

Sarah Ivanovas

Natalie Ivanits

Marian Ivanov

Oxana Ivanova-Chessex

 

Weitere Publikationen von Autoren mit dem selben Namen

Decidability Results for Dynamic Installation of Compensation Handlers., und . COORDINATION, Volume 7890 von Lecture Notes in Computer Science, Seite 136-150. Springer, (2013)Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus., , , , und . FMOODS, Volume 5051 von Lecture Notes in Computer Science, Seite 59-77. Springer, (2008)Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing., , , und . CoRR, (2016)Contract-Driven Implementation of Choreographies., , und . TGC, Volume 5474 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2008)Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version., , , , und . CoRR, (2022)Synchronization Strategies for Global Computing Models.. University of Pisa, Italy, (2006)Preface for the special issue on Interaction and Concurrency Experience 2012., , , und . Sci. Comput. Program., (2015)Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software., und . Sci. Comput. Program., (2016)The stream-based service-centred calculus: a foundation for service-oriented programming., , , , und . Formal Aspects Comput., 26 (5): 865-918 (2014)Software and Reversible Systems: A Survey of Recent Activities., , , , , , , , , und 1 andere Autor(en). Selected Results of the COST Action IC1405, Volume 12070 von Lecture Notes in Computer Science, Springer, (2020)