The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

António Ravara: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.014secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002