( en | de | ru )

 

Disambiguation of "Caires, Luís"

Author of the publication

copydeleteadd this publication to your clipboard
A Type System for Flexible Role Assignment in Multiparty Communicating Systems.

, , , and . TGC, volume 8191 of Lecture Notes in Computer Science, page 82-96. Springer, (2012)

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. You can also use the button next to the name to display some publications already assigned to the person.

Werner Luis

Luís Damas

Luís Paquete

Pia Luislampe

Mathieu Luisier

 

Other publications of authors with the same name

Propositions-as-types and shared state., and . Proc. ACM Program. Lang., 5 (ICFP): 1-30 (2021)Spatial-behavioral types for concurrency and resource control in distributed systems.. Theor. Comput. Sci., 402 (2-3): 120-141 (2008)A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions., and . CoRR, (2014)SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications., and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 485-491. Springer, (2012)Session Types as Intuitionistic Linear Propositions., and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 222-236. Springer, (2010)Logical Semantics of Types for Concurrency.. CALCO, volume 4624 of Lecture Notes in Computer Science, page 16-35. Springer, (2007)Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)., and . CoRR, (2019)18th International Conference on Concurrency Theory., and . Inf. Comput., 208 (6): 605 (2010)Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency., and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 240-257. Springer, (2004)The Conversation Calculus: A Model of Service-Oriented Computation., , and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 269-283. Springer, (2008)