Search the dblp DataBase

Publications of Author

1. Luís Caires
   A Language for the Logical Specification of Processes and Relations. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:150-164 [Conf]
   
2. 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]
   
3. Luís Caires, Luca Cardelli
   A Spatial Logic for Concurrency (Part II). [Citation Graph (0, 0)][DBLP]
   CONCUR, 2002, pp:209-225 [Conf]
   
4. 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]
   
5. João Costa Seco, Luís Caires
   A Basic Model of Typed Components. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2000, pp:108-128 [Conf]
   
6. 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]
   
7. Luís Caires, Luís Monteiro
   Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:42-56 [Conf]
   
8. João Costa Seco, Luís Caires
   Subtyping First-Class Polymorphic Components. [Citation Graph (0, 0)][DBLP]
   ESOP, 2005, pp:342-356 [Conf]
   
9. João Costa Seco, Luís Caires
   Types for Dynamic Reconfiguration. [Citation Graph (0, 0)][DBLP]
   ESOP, 2006, pp:214-229 [Conf]
   
10. 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]
    
11. 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]
    
12. Luís Caires, Luís Monteiro
    Higher-Order Polymorphic Unification for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:419-433 [Conf]
    
13. Luís Caires, Luca Cardelli
    A Spatial Logic for Concurrency. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:1-37 [Conf]
    
14. 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]
    
15. 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]
    
16. 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]
    
17. 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]
    
18. Luís Caires
    Logical Semantics of Types for Concurrency. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:16-35 [Conf]
    
19. 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]
    
20. 
    Session Types as Intuitionistic Linear Propositions. [Citation Graph (, )][DBLP]
    
    
21. 
    The Conversation Calculus: A Model of Service-Oriented Computation. [Citation Graph (, )][DBLP]
    
    
22. 
    Conversation Types. [Citation Graph (, )][DBLP]
    
    
23. 
    A Process Calculus Analysis of Compensations. [Citation Graph (, )][DBLP]
    
    
24. 
    Spatial-Behavioral Types, Distributed Services, and Resources. [Citation Graph (, )][DBLP]