Luís Caires

Available identifiers

zbMath Open caires.luisWikidataQ102111233 ScholiaQ102111233MaRDI QIDQ476187

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luís Caires