dblp.uni-trier.dewww.uni-trier.de

António Ravara Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
14EELuís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos: Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77
13EECátia Vaz, Carla Ferreira, António Ravara: Dynamic Recovering of Long Running Transactions. TGC 2008: 201-215
12 Joana Martinho, António Ravara: Encoding cryptographic primitives in a calculus with polyadic synchronization. TMFCS 2008: 102-109
2007
11EEIvan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara: Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314
2006
10EEMichele 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. WS-FM 2006: 38-57
9EEAntonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Software Components using Session Types. Fundam. Inform. 73(4): 583-598 (2006)
8EEVasco Thudichum Vasconcelos, Simon J. Gay, António Ravara: Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368(1-2): 64-87 (2006)
2004
7EEVasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
2003
6EEAntonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara: Typing the Behavior of Objects and Component Using Session Types. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
5EEAntónio Ravara, Ana Gualdina Almeida Matos, Vasco Thudichum Vasconcelos, Luís M. B. Lopes: Lexically scoped distribution: what you see is what you get. Electr. Notes Theor. Comput. Sci. 85(1): (2003)
2000
4EEAntónio Ravara, Vasco Thudichum Vasconcelos: Typing Non-uniform Concurrent Objects. CONCUR 2000: 474-488
1999
3EEUwe Nestmann, António Ravara: Semantics of Objects as Processes (SOAP). ECOOP Workshops 1999: 314-325
2EEVasco Thudichum Vasconcelos, António Ravara: Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71(5-6): 229-233 (1999)
1997
1EEAntónio Ravara, Vasco Thudichum Vasconcelos: Behavioural Types for a Calculus of Concurrent Objects. Euro-Par 1997: 554-561

Coauthor Index

1Michele Boreale [10]
2Roberto Bruni [10]
3Luís Caires [10]
4Luís Cruz-Filipe [14]
5Carla Ferreira [13]
6Simon J. Gay [7] [8]
7Ivan Lanese [10] [11] [14]
8Luís M. B. Lopes [5]
9Michele Loreti [10]
10Joana Martinho [12]
11Francisco Martins [10] [11] [14]
12Ana Gualdina Almeida Matos (Ana Almeida Matos) [5]
13Ugo Montanari [10]
14Uwe Nestmann [3]
15Rocco De Nicola [10]
16Davide Sangiorgi [10]
17Antonio Vallecillo [6] [9]
18Vasco Thudichum Vasconcelos [1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [14]
19Cátia Vaz [13]
20Gianluigi Zavattaro [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)