( en | de | ru )

 

Disambiguierung von "Lanese, Ivan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fault Model Design Space for Cooperative Concurrency.

, , , , , , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 22-36. Springer, (2014)

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

Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing., , , und . CoRR, (2016)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)Contract-Driven Implementation of Choreographies., , und . TGC, Volume 5474 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2008)Synchronization Strategies for Global Computing Models.. University of Pisa, Italy, (2006)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)A Graphical Fusion Calculus., und . COMETA, Volume 104 von Electronic Notes in Theoretical Computer Science, Seite 199-215. Elsevier, (2003)Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version., , , , und . CoRR, (2022)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)