( en | de | ru )

 

Disambiguierung von "Ravara, António"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.

, , , , und . FMOODS, Volume 5051 von Lecture Notes in Computer Science, Seite 59-77. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

António Marques

António Silva

António Maretzek

António Quarta

António Medeiros

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated verification of programs and Web systems., , , und . J. Log. Algebraic Methods Program., 85 (5): 653-654 (2016)From atomic variables to data-centric concurrency control., , , , und . SAC, Seite 1806-1811. ACM, (2016)Encoding cryptographic primitives in a calculus with polyadic synchronization., und . TMFCS, Seite 102-109. ISRST, (2008)Visualização e animação de autómatos em Ocsigen Framework., , und . CoRR, (2019)Retrofitting Typestates into Rust., und . SBLP, Seite 83-91. ACM, (2021)Behavioral Theory for Session-Oriented Calculi., , und . Results of the SENSORIA Project, Volume 6582 von Lecture Notes in Computer Science, Springer, (2011)Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation., und . J. Autom. Reason., 46 (3-4): 293-323 (2011)AtomiS: Data-Centric Synchronization Made Practical., , , , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 116-145 (Oktober 2023)From object-oriented code with assertions to behavioural types., und . SAC, Seite 1492-1497. ACM, (2017)Lexically scoped distribution: what you see is what you get., , , und . FGC, Volume 85 von Electronic Notes in Theoretical Computer Science, Seite 61-79. Elsevier, (2003)