| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John Field, Vasco Thudichum Vasconcelos |
Selected Papers from the Eleventh International Conference on Coordination Models and Languages.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos |
An Algebra of Behavioural Types. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro |
Core Calculi for Service-Oriented Computing. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Mostrous, Vasco Thudichum Vasconcelos |
Session Typing for a Featherweight Erlang. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Vasco Thudichum Vasconcelos |
18th International Conference on Concurrency Theory. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro |
Types for X10 Clocks |
PLACES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Vasco Thudichum Vasconcelos |
Linear type theory for asynchronous session types. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Giunti, Vasco Thudichum Vasconcelos |
A Linear Account of Session Types in the Pi Calculus. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira |
Modular session types for distributed object-oriented programming. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
non-uniform method availability, object-oriented calculus, typestates, session types |
| 1 | Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos |
Runtime Verification for Generic Classes with ConGu 2. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
Type-Directed Compilation for Multicore Programming. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, Nobuko Yoshida |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos |
Compiling the pi-calculus into a Multithreaded Typed Assembly Language. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro |
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos |
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Vasco Thudichum Vasconcelos (eds.) |
Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos |
Fundamentals of Session Types. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos |
Session types for linear multithreaded functional programming. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
linear type systems, concurrency, functional programming, session types |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda |
Session-Based Compilation Framework for Multicore Programming. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Vasco Thudichum Vasconcelos (eds.) |
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings |
CONCUR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara |
Disciplining Orchestration and Conversation in Service-Oriented Computing. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara |
Type checking a multithreaded functional language with session types. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara |
Typing the Behavior of Software Components using Session Types. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos |
Lambda and pi calculi, CAM and SECD machines. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Martins, Liliana Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes |
MiKO - Mikado Koncurrent Objects. |
Foundations of Global Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Francisco Martins, Vasco Thudichum Vasconcelos |
History-Based Access Control for Distributed Processes. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay |
Session Types for Functional Multithreading. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
static typechecking, specification of communication protocols, concurrent programming, Session types |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara |
Typing the Behavior of Objects and Component Using Session Types. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva |
A Multi-threaded Asynchronous Language. |
PaCT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva |
Fine-Grained Multithreading with Process Calculi. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
multithreading, abstract-machine, Process-calculus |
| 1 | António Ravara, Vasco Thudichum Vasconcelos |
Typing Non-uniform Concurrent Objects. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
Fine Grained Multithreading with Process Calculi. |
IEEE PACT |
2000 |
DBLP DOI BibTeX RDF |
Multithreading, Abstract-Machine, Process-Calculus |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Concurrency, Distributed Computing, Implementation, Process-Calculus, Code Mobility |
| 1 | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
Secure Information Flow as Typed Process Behaviour. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, António Ravara |
Communication Errors in the pi-Calculus are Undecidable. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos |
Processes, Functions, and Datatypes. |
TAPOS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos |
A Virtual Machine for a Process Calculus. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo |
Language Primitives and Type Discipline for Structured Communication-Based Programming. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | António Ravara, Vasco Thudichum Vasconcelos |
Behavioural Types for a Calculus of Concurrent Objects. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos |
Unification of Kinded Infinite Trees. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos |
Predicative Polymorphism in Pi-Calculus. |
PARLE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos |
Typed Concurrent Objects. |
ECOOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, Kohei Honda |
Principal Typing Schemes in a Polyadic pi-Calculus. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, Mario Tokoro |
A Typing System for a Calculus of Objects. |
ISOTAS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, Mario Tokoro |
Traces Semantics for Actor Systems. |
Object-Based Concurrent Computing |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")