( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.

, , , , и . FMOODS, том 5051 из Lecture Notes in Computer Science, стр. 59-77. Springer, (2008)

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.

António Marques

António Maretzek

António Silva

António Almeida

António Medeiros

 

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

Automated verification of programs and Web systems., , , и . J. Log. Algebraic Methods Program., 85 (5): 653-654 (2016)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)Visualização e animação de autómatos em Ocsigen Framework., , и . CoRR, (2019)Retrofitting Typestates into Rust., и . SBLP, стр. 83-91. ACM, (2021)Behavioral Theory for Session-Oriented Calculi., , и . Results of the SENSORIA Project, том 6582 из Lecture Notes in Computer Science, Springer, (2011)Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation., и . J. Autom. Reason., 46 (3-4): 293-323 (2011)AtomiS: Data-Centric Synchronization Made Practical., , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 116-145 (октября 2023)From object-oriented code with assertions to behavioural types., и . SAC, стр. 1492-1497. ACM, (2017)Lexically scoped distribution: what you see is what you get., , , и . FGC, том 85 из Electronic Notes in Theoretical Computer Science, стр. 61-79. Elsevier, (2003)