Luís Caires

Available identifiers

zbMath Open caires.luisWikidataQ102111233 ScholiaQ102111233MaRDI QIDQ476187

List of research outcomes

Publication	Date of Publication	Type
Safe session-based concurrency with shared linear state	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5875401	2023-02-03	Paper
Linearity, Control Effects, and Behavioral Types	2017-05-19	Paper
A language for the logical specification of processes and relations	2017-01-19	Paper
Information Flow Analysis for Valued-Indexed Data Security Compartments	2016-11-09	Paper
Multiparty Session Types Within a Canonical Binary Theory, and Beyond	2016-10-19	Paper
Dependent information flow types	2016-09-29	Paper
Linear logic propositions as session types	2016-07-28	Paper
Corecursion and Non-divergence in Session-Typed Processes	2016-06-09	Paper
Linear logical relations and observational equivalences for session-based concurrency	2014-11-28	Paper
The type discipline of behavioral separation	2014-11-27	Paper
Extensionality of spatial observations in distributed systems	2013-12-13	Paper
Behavioral Polymorphism and Parametricity in Session-Based Communication	2013-08-05	Paper
Higher-Order Processes, Functions, and Sessions: A Monadic Integration	2013-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4649549	2012-11-22	Paper
Linear Logical Relations for Session-Based Concurrency	2012-06-22	Paper
Functions as Session-Typed Processes	2012-06-22	Paper
Proof-Carrying Code in a Session-Typed Process Calculus	2011-11-22	Paper
Type-Based Access Control in Data-Centric Systems	2011-05-19	Paper
Conversation types	2011-01-07	Paper
Session Types as Intuitionistic Linear Propositions	2010-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3396629	2009-09-19	Paper
Conversation Types	2009-03-31	Paper
Logical Semantics of Types for Concurrency	2009-03-10	Paper
Spatial-Behavioral Types, Distributed Services, and Resources	2009-03-05	Paper
Spatial-behavioral types for concurrency and resource control in distributed systems	2008-08-06	Paper
The Conversation Calculus: A Model of Service-Oriented Computation	2008-04-11	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Programming Languages and Systems	2007-05-02	Paper
Elimination of quantifiers and undecidability in spatial logics for concurrency	2006-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q5714431	2006-01-02	Paper
Programming Languages and Systems	2005-09-13	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
A spatial logic for concurrency. I	2004-11-23	Paper
A spatial logic for concurrency. II	2004-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4484489	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4364375	1998-04-15	Paper

Research outcomes over time

This page was built for person: Luís Caires