Obserwuj
Luis Caires
Luis Caires
Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa
Zweryfikowany adres z tecnico.ulisboa.pt - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Session types as intuitionistic linear propositions
L Caires, F Pfenning
CONCUR 2010-Concurrency Theory, 222-236, 2010
5052010
Foundations of Session Types and Behavioural Contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
319*
A spatial logic for concurrency (part I)
L Caires, L Cardelli
Information and Computation 186 (2), 194-235, 2003
2792003
SCC: a service centered calculus
M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...
Web services and formal methods, 38-57, 2006
2102006
Linear Logic Propositions as Session Types
L Caires, F Pfenning, B Toninho
1952016
A spatial logic for concurrency (part I)
L Caires, L Cardelli
Theoretical Aspects of Computer Software, 1-37, 2001
1692001
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
B Toninho, L Caires, F Pfenning
22nd Symposium on Programming Languages and Systems ESOP, 2013
1652013
A basic model of typed components
J Seco, L Caires
ECOOP 2000—Object-Oriented Programming, 108-128, 2000
1532000
The conversation calculus: A model of service-oriented computation
HT Vieira, L Caires, JC Seco
17th Symposium on Programming languages and Systems ESOP, 269-283, 2008
1492008
Dependent session types via intuitionistic linear type theory
B Toninho, L Caires, F Pfenning
Proc. of PPDP 11, 161-172, 2011
1362011
A spatial logic for concurrency (part II)
L Caires, L Cardelli
CONCUR 2002—Concurrency Theory, 163-199, 2002
1242002
Behavioral Polymorphism and Parametricity in Session-Based Communication
L Caires, JA Pérez, F Pfenning, B Toninho
22nd Symposium on Programming Languages and Systems ESOP, 2013
1012013
Conversation types
L Caires, HT Vieira
Theoretical Computer Science 411 (51), 4399-4440, 2010
1012010
Behavioral and spatial observations in a logic for the π-calculus
L Caires
Foundations of Software Science and Computation Structures, 72-89, 2004
982004
A spatial logic for concurrency--II
L Caires, L Cardelli
Theoretical Computer Science 322 (3), 517-565, 2004
962004
Conversation types
L Caires, H Vieira
18th Symposium on Programming Languages and Systems ESOP, 285-300, 2009
862009
Dependent information flow types
L Lourenço, L Caires
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
822015
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
H DeYoung, L Caires, F Pfenning, B Toninho
Computer Science Logic 2012, 3675, 2012
802012
Linear logical relations for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
792012
Linear logical relations and observational equivalences for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
Information and Computation 239, 254-302, 2014
752014
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20