PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Caires, Luís"

Author of the publication

copydeleteadd this publication to your clipboard
SCC: A Service Centered Calculus.

, , , , , , , , , , , and . WS-FM, volume 4184 of Lecture Notes in Computer Science, page 38-57. Springer, (2006)

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.

Luis Orozco University of Stuttgart

Luis Mandl University of Stuttgart

Prof. Jose Luis Moro University of Stuttgart

Franklin Luis Dos Santos Rodrigues Junior University of Stuttgart

 

Other publications of authors with the same name

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)., and . CoRR, (2019)Tools and Verification., , , , , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)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)A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions., and . CoRR, (2014)18th International Conference on Concurrency Theory., and . Inf. Comput., 208 (6): 605 (2010)Spatial-behavioral types for concurrency and resource control in distributed systems.. Theor. Comput. Sci., 402 (2-3): 120-141 (2008)Propositions-as-types and shared state., and . Proc. ACM Program. Lang., 5 (ICFP): 1-30 (2021)A simple proof system for lock-free concurrency., , and . PSPL@LICS, volume 12 of EPiC Series in Computing, page 1-3. EasyChair, (2010)