( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reconciling Communication Delays and Negation.

, , и . ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 151-169. Springer, (2022)

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.

Luís Fílípe Carvalho Costa

Luís Filipe Domingos Pereira Figueiredo

Luis Filipe Carvalho Costa

Werner Luis

Luís Damas

 

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

Connectors meet Choreographies., , , и . CoRR, (2018)Choreographies in Practice., и . FORTE, том 9688 из Lecture Notes in Computer Science, стр. 114-123. Springer, (2016)C-CoRN, the Constructive Coq Repository at Nijmegen., , и . MKM, том 3119 из Lecture Notes in Computer Science, стр. 88-103. Springer, (2004)A Core Model for Choreographic Programming., и . FACS, том 10231 из Lecture Notes in Computer Science, стр. 17-35. (2016)Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus., , , , и . FMOODS, том 5051 из Lecture Notes in Computer Science, стр. 59-77. Springer, (2008)Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints., и . ACM Trans. Comput. Log., 22 (1): 6:1-6:19 (2021)The Finitistic Consistency of Heck's Predicative Fregean System., и . Notre Dame J. Formal Log., 56 (1): 61-79 (2015)Hypothetical Answers to Continuous Queries over Data Streams., , и . AAAI, стр. 2798-2805. AAAI Press, (2020)Certified Compilation of Choreographies with hacc., , и . FORTE, том 13910 из Lecture Notes in Computer Science, стр. 29-36. Springer, (2023)Modular Choreographies: Bridging Alice and Bob Notation to Java., , , и . Microservices, том 111 из OASIcs, стр. 3:1-3:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)