The SCEAS System
| |||||||

## Search the dblp DataBase
Luís Caires:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Luís Caires
**A Language for the Logical Specification of Processes and Relations.**[Citation Graph (0, 0)][DBLP] ALP, 1996, pp:150-164 [Conf] - Luís Caires, Luís Monteiro
**Proof Net Semantics of Proof Search Computation.**[Citation Graph (0, 0)][DBLP] ALP/HOA, 1997, pp:194-208 [Conf] - Luís Caires, Luca Cardelli
**A Spatial Logic for Concurrency (Part II).**[Citation Graph (0, 0)][DBLP] CONCUR, 2002, pp:209-225 [Conf] - Luís Caires, Étienne Lozes
**Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.**[Citation Graph (0, 0)][DBLP] CONCUR, 2004, pp:240-257 [Conf] - João Costa Seco, Luís Caires
**A Basic Model of Typed Components.**[Citation Graph (0, 0)][DBLP] ECOOP, 2000, pp:108-128 [Conf] - Luís Moniz Pereira, Luís Caires, José Júlio Alferes
**SLWV - A Theorem Prover for Logic Programming.**[Citation Graph (0, 0)][DBLP] ELP, 1992, pp:1-23 [Conf] - Luís Caires, Luís Monteiro
**Verifiable and Executable Logic Specifications of Concurrent Objects in L**[Citation Graph (0, 0)][DBLP]_{pi}. ESOP, 1998, pp:42-56 [Conf] - João Costa Seco, Luís Caires
**Subtyping First-Class Polymorphic Components.**[Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:342-356 [Conf] - João Costa Seco, Luís Caires
**Types for Dynamic Reconfiguration.**[Citation Graph (0, 0)][DBLP] ESOP, 2006, pp:214-229 [Conf] - Luís Caires
**Behavioral and Spatial Observations in a Logic for the pi-Calculus.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2004, pp:72-89 [Conf] - José A. S. Alegria, Artur M. Dias, Luís Caires
**Towards Distributed Tools for Heterogeneous Logic Programming Environments.**[Citation Graph (0, 0)][DBLP] ICLP, 1989, pp:505-520 [Conf] - Luís Caires, Luís Monteiro
**Higher-Order Polymorphic Unification for Logic Programming.**[Citation Graph (0, 0)][DBLP] ICLP, 1994, pp:419-433 [Conf] - Luís Caires, Luca Cardelli
**A Spatial Logic for Concurrency.**[Citation Graph (0, 0)][DBLP] TACS, 2001, pp:1-37 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] WS-FM, 2006, pp:38-57 [Conf] - Luís Caires, Luca Cardelli
**A spatial logic for concurrency (part I).**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:186, n:2, pp:194-235 [Journal] - Luís Caires, Luca Cardelli
**A spatial logic for concurrency - II.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:322, n:3, pp:517-565 [Journal] - Luís Caires, Étienne Lozes
**Elimination of quantifiers and undecidability in spatial logics for concurrency.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:358, n:2-3, pp:293-314 [Journal] - Luís Caires
**Logical Semantics of Types for Concurrency.**[Citation Graph (0, 0)][DBLP] CALCO, 2007, pp:16-35 [Conf] - Luís Caires, Hugo Torres Vieira
**Extensionality of Spatial Observations in Distributed Systems.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:131-149 [Journal] **Session Types as Intuitionistic Linear Propositions.**[Citation Graph (, )][DBLP]**The Conversation Calculus: A Model of Service-Oriented Computation.**[Citation Graph (, )][DBLP]**Conversation Types.**[Citation Graph (, )][DBLP]**A Process Calculus Analysis of Compensations.**[Citation Graph (, )][DBLP]**Spatial-Behavioral Types, Distributed Services, and Resources.**[Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |