From post

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.

 

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

Benefits of session types for software development., и . PLATEAU@SPLASH, стр. 26-29. ACM, (2016)Typechecking Java Protocols with StMungo., , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 208-224. Springer, (2020)A Theory of Composing Protocols., , и . Art Sci. Eng. Program., (2023)Resource Sharing via Capability-Based Multiparty Session Types., , и . IFM, том 11918 из Lecture Notes in Computer Science, стр. 437-455. Springer, (2019)A model of actors and grey failures., , , и . Log. Methods Comput. Sci., (2023)A Session Type System for Asynchronous Unreliable Broadcast Communication., , , и . CoRR, (2019)A Theory of Protocol Composition., , и . CoRR, (2022)A Model of Actors and Grey Failures., , , и . COORDINATION, том 13271 из Lecture Notes in Computer Science, стр. 140-158. Springer, (2022)