Caires - PDFSEARCH.IO - Document Search Engine

Caires
Results: 37

#	Item
1	A Process Calculus Analysis of Compensations Lu´ıs Caires Carla Ferreira Hugo Vieira Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-12-27 16:57:55
2	SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications Lu´ıs Caires and Hugo Torres Vieira CITI / Departamento de Inform´atica, FCT Universidade Nova de Lisboa, Portugal Abst Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:13
3	Information Flow Analysis for Valued-Indexed Data Security Compartments Luísa Lourenço and Luís Caires CITI e Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa, Portugal Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2014-10-11 13:32:58
4	Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís Caires Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:13
5	Analysis of Service Oriented Software Systems with the Conversation Calculus Lu´ıs Caires and Hugo Torres Vieira CITI and Departamento de Inform´ atica, Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisbo Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:12
6	Work Assignments for “Modal Logics” lectures L. Caires Abstract I suggest two alternative topics. One is related to an application of modal logic to objectoriented program analysis, while the other investigates the d Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-25 03:35:46
7	Dependent Information Flow Types Luísa Lourenço Luís Caires CITI and NOVA Laboratory for Computer Science and Informatics Add to Reading List Source URL: ctp.di.fct.unl.pt - Date: 2015-01-26 04:05:30
8	DIFT - Dependent Information Flow Types Typechecker Prototype Draft Release Notes (v1.10) Luisa Lourenço Luis Caires CITI and NOVA Laboratory for Computer Science and Informatics Add to Reading List Source URL: ctp.di.fct.unl.pt - Date: 2015-01-26 04:11:09
9	Invited talk at TLDI’12 Towards Concurrent Type Theory Lu´ıs Caires Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu - Date: 2011-11-30 14:05:08
10	Concurrent Programming in Linear Type Theory Frank Pfenning Carnegie Mellon University Joint work with Luís Caires, Bernardo Toninho, Jorge Add to Reading List Source URL: groups.inf.ed.ac.uk - Date: 2014-01-10 13:36:40

UPDATE