| 2008 |
|---|
| 34 | EE | Luí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 |
| 2007 |
|---|
| 33 | | Luís Caires,
Vasco Thudichum Vasconcelos:
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
Springer 2007 |
| 32 | EE | Ivan Lanese,
Francisco Martins,
Vasco Thudichum Vasconcelos,
António Ravara:
Disciplining Orchestration and Conversation in Service-Oriented Computing.
SEFM 2007: 305-314 |
| 31 | EE | Nobuko Yoshida,
Vasco Thudichum Vasconcelos:
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Electr. Notes Theor. Comput. Sci. 171(4): 73-93 (2007) |
| 2006 |
|---|
| 30 | EE | Isabel Nunes,
Antónia Lopes,
Vasco Thudichum Vasconcelos,
João Abreu,
Luís S. Reis:
Checking the Conformance of Java Classes Against Algebraic Specifications.
ICFEM 2006: 494-513 |
| 29 | EE | 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.
WS-FM 2006: 38-57 |
| 28 | EE | Antonio Vallecillo,
Vasco Thudichum Vasconcelos,
António Ravara:
Typing the Behavior of Software Components using Session Types.
Fundam. Inform. 73(4): 583-598 (2006) |
| 27 | EE | Vasco 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) |
| 2005 |
|---|
| 26 | EE | Francisco Martins,
Liliana Salvador,
Vasco Thudichum Vasconcelos,
Luís M. B. Lopes:
MiKO - Mikado Koncurrent Objects.
Foundations of Global Computing 2005 |
| 25 | EE | Francisco Martins,
Vasco Thudichum Vasconcelos:
History-Based Access Control for Distributed Processes.
TGC 2005: 98-115 |
| 24 | EE | Vasco Thudichum Vasconcelos:
Lambda and pi calculi, CAM and SECD machines.
J. Funct. Program. 15(1): 101-127 (2005) |
| 2004 |
|---|
| 23 | EE | Vasco Thudichum Vasconcelos,
António Ravara,
Simon J. Gay:
Session Types for Functional Multithreading.
CONCUR 2004: 497-511 |
| 22 | EE | Lorenzo Bettini,
Rocco De Nicola,
Daniele Falassi,
Marc Lacoste,
Luís M. B. Lopes,
Licínio Oliveira,
Hervé Paulino,
Vasco Thudichum Vasconcelos:
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.
Global Computing 2004: 179-207 |
| 2003 |
|---|
| 21 | EE | Hervé Paulino,
Pedro Marques,
Luís M. B. Lopes,
Vasco Thudichum Vasconcelos,
Fernando M. A. Silva:
A Multi-threaded Asynchronous Language.
PaCT 2003: 316-323 |
| 20 | EE | Antonio 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) |
| 19 | EE | 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.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
| 2002 |
|---|
| 18 | EE | Francisco Martins,
Luís M. B. Lopes,
Vasco Thudichum Vasconcelos:
The Impact of Linearity Information on the Performance of TyCO.
Electr. Notes Theor. Comput. Sci. 75: (2002) |
| 2001 |
|---|
| 17 | EE | Luís M. B. Lopes,
Vasco Thudichum Vasconcelos,
Fernando M. A. Silva:
Fine-Grained Multithreading with Process Calculi.
IEEE Trans. Computers 50(8): 852-862 (2001) |
| 2000 |
|---|
| 16 | EE | Luís M. B. Lopes,
Álvaro Reis Figueira,
Fernando M. A. Silva,
Vasco Thudichum Vasconcelos:
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility.
CLUSTER 2000: 297- |
| 15 | EE | António Ravara,
Vasco Thudichum Vasconcelos:
Typing Non-uniform Concurrent Objects.
CONCUR 2000: 474-488 |
| 14 | EE | Kohei Honda,
Vasco Thudichum Vasconcelos,
Nobuko Yoshida:
Secure Information Flow as Typed Process Behaviour.
ESOP 2000: 180-199 |
| 13 | EE | Luís M. B. Lopes,
Fernando M. A. Silva,
Vasco Thudichum Vasconcelos:
Fine Grained Multithreading with Process Calculi.
IEEE PACT 2000: 217-226 |
| 1999 |
|---|
| 12 | | Luís M. B. Lopes,
Fernando M. A. Silva,
Vasco Thudichum Vasconcelos:
A Virtual Machine for a Process Calculus.
PPDP 1999: 244-260 |
| 11 | EE | Vasco Thudichum Vasconcelos,
António Ravara:
Communication Errors in the pi-Calculus are Undecidable.
Inf. Process. Lett. 71(5-6): 229-233 (1999) |
| 10 | | Vasco Thudichum Vasconcelos:
Processes, Functions, and Datatypes.
TAPOS 5(2): 97-110 (1999) |
| 1998 |
|---|
| 9 | EE | Kohei Honda,
Vasco Thudichum Vasconcelos,
Makoto Kubo:
Language Primitives and Type Discipline for Structured Communication-Based Programming.
ESOP 1998: 122-138 |
| 8 | EE | Vasco Thudichum Vasconcelos,
Luís M. B. Lopes,
Fernando M. A. Silva:
Distribution and Mobility with Lexical Scoping in Process Calculi.
Electr. Notes Theor. Comput. Sci. 16(3): (1998) |
| 1997 |
|---|
| 7 | | António Ravara,
Vasco Thudichum Vasconcelos:
Behavioural Types for a Calculus of Concurrent Objects.
Euro-Par 1997: 554-561 |
| 1995 |
|---|
| 6 | EE | Vasco Thudichum Vasconcelos:
Unification of Kinded Infinite Trees.
Inf. Process. Lett. 55(6): 323-328 (1995) |
| 1994 |
|---|
| 5 | EE | Vasco Thudichum Vasconcelos:
Typed Concurrent Objects.
ECOOP 1994: 100-117 |
| 4 | | Vasco Thudichum Vasconcelos:
Predicative Polymorphism in Pi-Calculus.
PARLE 1994: 425-437 |
| 1993 |
|---|
| 3 | | Vasco Thudichum Vasconcelos,
Kohei Honda:
Principal Typing Schemes in a Polyadic pi-Calculus.
CONCUR 1993: 524-538 |
| 2 | | Vasco Thudichum Vasconcelos,
Mario Tokoro:
A Typing System for a Calculus of Objects.
ISOTAS 1993: 460-474 |
| 1991 |
|---|
| 1 | | Vasco Thudichum Vasconcelos,
Mario Tokoro:
Traces Semantics for Actor Systems.
Object-Based Concurrent Computing 1991: 141-162 |
