( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Expressive Power of Primitives for Compensation Handling.

, , и . ESOP, том 6012 из Lecture Notes in Computer Science, стр. 366-386. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sarah Ivanovas

Svilen Ivanov

Natalie Ivanits

Marian Ivanov

Max Ivanovits

 

Другие публикации лиц с тем же именем

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus., , , , и . FMOODS, том 5051 из Lecture Notes in Computer Science, стр. 59-77. Springer, (2008)Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing., , , и . CoRR, (2016)Decidability Results for Dynamic Installation of Compensation Handlers., и . COORDINATION, том 7890 из Lecture Notes in Computer Science, стр. 136-150. Springer, (2013)Contract-Driven Implementation of Choreographies., , и . TGC, том 5474 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2008)Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version., , , , и . CoRR, (2022)Preface for the special issue on Interaction and Concurrency Experience 2012., , , и . Sci. Comput. Program., (2015)Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software., и . Sci. Comput. Program., (2016)The stream-based service-centred calculus: a foundation for service-oriented programming., , , , и . Formal Aspects Comput., 26 (5): 865-918 (2014)Software and Reversible Systems: A Survey of Recent Activities., , , , , , , , , и 1 other автор(ы). Selected Results of the COST Action IC1405, том 12070 из Lecture Notes in Computer Science, Springer, (2020)A Graphical Fusion Calculus., и . COMETA, том 104 из Electronic Notes in Theoretical Computer Science, стр. 199-215. Elsevier, (2003)