( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Global progress for dynamically interleaved multiparty sessions.

, , , и . Math. Struct. Comput. Sci., 26 (2): 238-302 (2016)

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.

Luca Rizzini

Luca Tranchini

Luca Tuninetti

Luca Criscuolo

Luca Haiberger

 

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

From Lock Freedom to Progress Using Session Types.. PLACES, том 137 из EPTCS, стр. 3-19. (2013)On the chemistry of typestate-oriented actors., и . CoRR, (2016)A Dependently Typed Linear π-Calculus in Agda., и . PPDP, стр. 8:1-8:14. ACM, (2020)Fair termination of binary sessions., и . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)Context-Free Session Type Inference.. ESOP, том 10201 из Lecture Notes in Computer Science, стр. 804-830. Springer, (2017)Fair subtyping for multi-party session types.. Math. Struct. Comput. Sci., 26 (3): 424-464 (2016)Contract-based discovery of Web services modulo simple orchestrators.. Theor. Comput. Sci., 411 (37): 3328-3347 (2010)Polymorphic Types for Leak Detection in a Session-Oriented Functional Language., , и . FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 83-98. Springer, (2013)An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus., и . CONCUR, том 243 из LIPIcs, стр. 36:1-36:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Exception handling for copyless messaging., и . Sci. Comput. Program., (2014)