Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Luís
Last name:	Caires
DBLP:	36/4734
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 24  

Select a publication
Show	Title	Venue	Rating	Date
	Luís Caires, Hugo Torres Vieira. Conversation Types.	Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 2009	(0)	2009
	Hugo Torres Vieira, Luís Caires, João Costa Seco. The Conversation Calculus: A Model of Service-Oriented Computation.	Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings 2008	(0)	2008
	Luís Caires, Carla Ferreira, Hugo Torres Vieira. A Process Calculus Analysis of Compensations.	Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers 2009	(0)	2008
	Luís Caires. Spatial-behavioral types for concurrency and resource control in distributed systems.	Theor. Comput. Sci. 2008, Volume 402	(0)	2008
	Luís Caires. Logical Semantics of Types for Concurrency.	Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings 2007	(0)	2007
	Luís Caires, Hugo Torres Vieira. Extensionality of Spatial Observations in Distributed Systems.	Electr. Notes Theor. Comput. Sci. 2007, Volume 175	(0)	2007
	João Costa Seco, Luís Caires. Types for Dynamic Reconfiguration.	Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings 2006	(0)	2006
	Luís Caires. Spatial-Behavioral Types, Distributed Services, and Resources.	Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers 2007	(0)	2006
	Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro. SCC: A Service Centered Calculus.	Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings 2006	(0)	2006
	Luís Caires, Étienne Lozes. Elimination of quantifiers and undecidability in spatial logics for concurrency.	Theor. Comput. Sci. 2006, Volume 358	(0)	2006

Your query returned 24 matches in the database.