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.

 

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

Automated verification of programs and Web systems., , , и . J. Log. Algebraic Methods Program., 85 (5): 653-654 (2016)Visualização e animação de autómatos em Ocsigen Framework., , и . CoRR, (2019)From atomic variables to data-centric concurrency control., , , , и . SAC, стр. 1806-1811. ACM, (2016)Encoding cryptographic primitives in a calculus with polyadic synchronization., и . TMFCS, стр. 102-109. ISRST, (2008)Retrofitting Typestates into Rust., и . SBLP, стр. 83-91. ACM, (2021)AtomiS: Data-Centric Synchronization Made Practical., , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 116-145 (октября 2023)Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation., и . J. Autom. Reason., 46 (3-4): 293-323 (2011)Behavioral Theory for Session-Oriented Calculi., , и . Results of the SENSORIA Project, том 6582 из Lecture Notes in Computer Science, Springer, (2011)From object-oriented code with assertions to behavioural types., и . SAC, стр. 1492-1497. ACM, (2017)Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language., , , , , , и . APLAS, том 12470 из Lecture Notes in Computer Science, стр. 105-124. Springer, (2020)