Publications

Export 4 results:
Sort by: [ Author (Asc)] Title Type Year
A B [C] D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
C
Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 2013.
Caires, L., Hugo T. Vieira, and J. C. Seco A Model of Service Oriented Computation. Departamento de Informática FCT/UNL, 2007.
Caires, L., J. C. Seco, and Hugo T. Vieira Automotive and Finance Case Studies in the Conversation Calculus. Departamento de Informática FCT/UNL, 2007.
Caires, Luís, and João Costa Seco The Type Discipline of Behavioral Separation. 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Rome, Italy: ACM, 2013.bst-tr.pdf