Luís Caires

According to our database1, Luís Caires authored at least 56 papers between 1989 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Linearity, Control Effects, and Behavioral Types.
Proceedings of the Programming Languages and Systems, 2017

2016
Linear logic propositions as session types.
Mathematical Structures in Computer Science, 2016

Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv., 2016

Multiparty Session Types Within a Canonical Binary Theory, and Beyond.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Composing Interfering Abstract Protocols.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
Dependent Information Flow Types.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014
Linear logical relations and observational equivalences for session-based concurrency.
Inf. Comput., 2014

Corecursion and Non-divergence in Session-Typed Processes.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Substructural typestates.
Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Rely-Guarantee Protocols.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Information Flow Analysis for Valued-Indexed Data Security Compartments.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

The type discipline of behavioral separation.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Higher-Order Processes, Functions, and Sessions: A Monadic Integration.
Proceedings of the Programming Languages and Systems, 2013

Behavioral Polymorphism and Parametricity in Session-Based Communication.
Proceedings of the Programming Languages and Systems, 2013

2012
Towards concurrent type theory.
Proceedings of TLDI 2012: The Seventh ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

A Type System for Flexible Role Assignment in Multiparty Communicating Systems.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Functions as Session-Typed Processes.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

Linear Logical Relations for Session-Based Concurrency.
Proceedings of the Programming Languages and Systems, 2012

Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
Proceedings of the Computer Science Logic (CSL'12), 2012

2011
Dependent session types via intuitionistic linear type theory.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Type-Based Access Control in Data-Centric Systems.
Proceedings of the Programming Languages and Systems, 2011

Proof-Carrying Code in a Session-Typed Process Calculus.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Core Calculi for Service-Oriented Computing.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Tools and Verification.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
18th International Conference on Concurrency Theory.
Inf. Comput., 2010

A Spatial-Epistemic Logic for Reasoning about Security Protocols
Proceedings of the Proceedings 8th International Workshop on Security Issues in Concurrency, 2010

A simple proof system for lock-free concurrency.
Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

A Type System for Access Control Views in Object-Oriented Languages.
Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010

Analysis of Service Oriented Software Systems with the Conversation Calculus.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Aliasing control with view-based typestate.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

Session Types as Intuitionistic Linear Propositions.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Conversation Types.
Proceedings of the Programming Languages and Systems, 2009

2008
Spatial-behavioral types for concurrency and resource control in distributed systems.
Theor. Comput. Sci., 2008

Dynamic Spatial Logics: A Tutorial Survey.
Bulletin of the EATCS, 2008

A Process Calculus Analysis of Compensations.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

The Conversation Calculus: A Model of Service-Oriented Computation.
Proceedings of the Programming Languages and Systems, 2008

2007
Extensionality of Spatial Observations in Distributed Systems.
Electr. Notes Theor. Comput. Sci., 2007

Logical Semantics of Types for Concurrency.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
SCC: A Service Centered Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Spatial-Behavioral Types, Distributed Services, and Resources.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Types for Dynamic Reconfiguration.
Proceedings of the Programming Languages and Systems, 2006

2005
Subtyping First-Class Polymorphic Components.
Proceedings of the Programming Languages and Systems, 2005

2004
A spatial logic for concurrency - II.
Theor. Comput. Sci., 2004

Behavioral and Spatial Observations in a Logic for the pi-Calculus.
Proceedings of the Foundations of Software Science and Computation Structures, 2004

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
A spatial logic for concurrency (part I).
Inf. Comput., 2003

2002
A Spatial Logic for Concurrency (Part II).
Proceedings of the CONCUR 2002, 2002

2001
A Spatial Logic for Concurrency.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

2000
A Basic Model of Typed Components.
Proceedings of the ECOOP 2000, 2000

1998
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi.
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997
Proof Net Semantics of Proof Search Computation.
Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996
A Language for the Logical Specification of Processes and Relations.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1994
Higher-Order Polymorphic Unification for Logic Programming.
Proceedings of the Logic Programming, 1994

1992
SLWV - A Theorem Prover for Logic Programming.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1989
Towards Distributed Tools for Heterogeneous Logic Programming Environments.
Proceedings of the Logic Programming, 1989


  Loading...