Search the dblp DataBase

Publications of Author

1. António Ravara, Vasco Thudichum Vasconcelos
   Typing Non-uniform Concurrent Objects. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2000, pp:474-488 [Conf]
   
2. Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
   Session Types for Functional Multithreading. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:497-511 [Conf]
   
3. Uwe Nestmann, António Ravara
   Semantics of Objects as Processes (SOAP). [Citation Graph (0, 0)][DBLP]
   ECOOP Workshops, 1999, pp:314-325 [Conf]
   
4. António Ravara, Vasco Thudichum Vasconcelos
   Behavioural Types for a Calculus of Concurrent Objects. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1997, pp:554-561 [Conf]
   
5. 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]
   
6. António Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
   Lexically scoped distribution: what you see is what you get. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:1, pp:- [Journal]
   
7. Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
   Typing the Behavior of Objects and Component Using Session Types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
   
8. Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
   Typing the Behavior of Software Components using Session Types. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2006, v:73, n:4, pp:583-598 [Journal]
   
9. Vasco Thudichum Vasconcelos, António Ravara
   Communication Errors in the pi-Calculus are Undecidable. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1999, v:71, n:5-6, pp:229-233 [Journal]
   
10. Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
    Type checking a multithreaded functional language with session types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:368, n:1-2, pp:64-87 [Journal]
    
11. 
    Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. [Citation Graph (, )][DBLP]
    
    
12. 
    Modular session types for distributed object-oriented programming. [Citation Graph (, )][DBLP]
    
    
13. 
    Disciplining Orchestration and Conversation in Service-Oriented Computing. [Citation Graph (, )][DBLP]
    
    
14. 
    Dynamic Recovering of Long Running Transactions. [Citation Graph (, )][DBLP]
    
    
15. 
    Encoding cryptographic primitives in a calculus with polyadic synchronization. [Citation Graph (, )][DBLP]