Vasco Thudichum Vasconcelos

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 4

Top Topics

Concurrent Programming

International Conference

Sorting Algorithms

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

Philipp Haller, Vasco Thudichum Vasconcelos
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. J. Log. Algebraic Methods Program. 106 (2019)
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP (2019)
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
Inferring Types for Parallel Programs. PLACES@ETAPS (2017)
Marco Giunti, Vasco Thudichum Vasconcelos
Linearity, session types and the Pi calculus. Math. Struct. Comput. Sci. 26 (2) (2016)
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
Modular Session Types for Objects Log. Methods Comput. Sci. 11 (4) (2015)
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Protocol-based verification of message-passing parallel programs. OOPSLA (2015)
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos
Deductive Verification of Parallel Programs Using Why3. ICE (2015)
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26 (5) (2014)
Dimitris Mostrous, Vasco Thudichum Vasconcelos
Affine Sessions. COORDINATION (2014)
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
Typing Liveness in Multiparty Communicating Systems. COORDINATION (2014)
Juliana Franco, Vasco Thudichum Vasconcelos
A Concurrent Programming Language with Refined Session Types. SEFM Workshops (2013)
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
Coordinating Phased Activities while Maintaining Progress. COORDINATION (2013)
Hugo Torres Vieira, Vasco Thudichum Vasconcelos
Typing Progress in Communication-Centred Systems. COORDINATION (2013)
António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos
An Algebra of Behavioural Types. Inf. Comput. 212 (2012)
Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos
Linearly Refined Session Types LINEARITY (2012)
John Field, Vasco Thudichum Vasconcelos
Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Sci. Comput. Program. 77 (6) (2012)
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Verification of MPI Programs Using Session Types. EuroMPI (2012)
Dimitris Mostrous, Vasco Thudichum Vasconcelos
Session Typing for a Featherweight Erlang. COORDINATION (2011)
Marco Giunti, Vasco Thudichum Vasconcelos
A Linear Account of Session Types in the Pi Calculus. CONCUR (2010)
Simon J. Gay, Vasco Thudichum Vasconcelos
Linear type theory for asynchronous session types. J. Funct. Program. 20 (1) (2010)
Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
Modular session types for distributed object-oriented programming. POPL (2010)
Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro
Types for X10 Clocks PLACES (2010)
Pedro Crispim, Antónia Lopes, Vasco Thudichum Vasconcelos
Runtime Verification for Generic Classes with ConGu 2. SBMF (2010)
Luís Caires, Vasco Thudichum Vasconcelos
18th International Conference on Concurrency Theory. Inf. Comput. 208 (6) (2010)
Vasco Thudichum Vasconcelos
Session types for linear multithreaded functional programming. PPDP (2009)
Vasco Thudichum Vasconcelos, Nobuko Yoshida
Preface. Electron. Notes Theor. Comput. Sci. 241 (2009)
Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language PLACES (2009)
Vasco Thudichum Vasconcelos
Fundamentals of Session Types. SFM (2009)
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV (2009)
Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos
Compiling the pi-calculus into a Multithreaded Typed Assembly Language. Electron. Notes Theor. Comput. Sci. 241 (2009)
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Type-Directed Compilation for Multicore Programming. Electron. Notes Theor. Comput. Sci. 241 (2009)
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)
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda
Session-Based Compilation Framework for Multicore Programming. FMCO (2008)
Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara
Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM (2007)
Nobuko Yoshida, Vasco Thudichum Vasconcelos
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. Electron. Notes Theor. Comput. Sci. 171 (4) (2007)
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)
Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
Typing the Behavior of Software Components using Session Types. Fundam. Informaticae 73 (4) (2006)
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)
Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368 (1-2) (2006)
Vasco Thudichum Vasconcelos
Lambda and pi calculi, CAM and SECD machines. J. Funct. Program. 15 (1) (2005)
Francisco Martins, Liliana C. M. Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes
MiKO - Mikado Koncurrent Objects. Foundations of Global Computing (2005)
Francisco Martins, Vasco Thudichum Vasconcelos
History-Based Access Control for Distributed Processes. TGC (2005)
Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
Session Types for Functional Multithreading. CONCUR (2004)
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)
Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva
A Multi-threaded Asynchronous Language. PaCT (2003)
Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
Typing the Behavior of Objects and Component Using Session Types. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
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. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)
Francisco Martins, Luís M. B. Lopes, Vasco Thudichum Vasconcelos
The Impact of Linearity Information on the Performance of TyCO. Electron. Notes Theor. Comput. Sci. 75 (2002)
Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva
Fine-Grained Multithreading with Process Calculi. IEEE Trans. Computers 50 (8) (2001)
Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Secure Information Flow as Typed Process Behaviour. ESOP (2000)
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)
António Ravara, Vasco Thudichum Vasconcelos
Typing Non-uniform Concurrent Objects. CONCUR (2000)
Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
Fine Grained Multithreading with Process Calculi. IEEE PACT (2000)
Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos
A Virtual Machine for a Process Calculus. PPDP (1999)
Vasco Thudichum Vasconcelos
Processes, Functions, and Datatypes. Theory Pract. Object Syst. 5 (2) (1999)
Vasco Thudichum Vasconcelos, António Ravara
Communication Errors in the pi-Calculus are Undecidable. Inf. Process. Lett. 71 (5-6) (1999)
Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
Language Primitives and Type Discipline for Structured Communication-Based Programming. ESOP (1998)
Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva
Distribution and Mobility with Lexical Scoping in Process Calculi. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)
António Ravara, Vasco Thudichum Vasconcelos
Behavioural Types for a Calculus of Concurrent Objects. Euro-Par (1997)
Vasco Thudichum Vasconcelos
Unification of Kinded Infinite Trees. Inf. Process. Lett. 55 (6) (1995)
Vasco Thudichum Vasconcelos
Typed Concurrent Objects. ECOOP (1994)
Vasco Thudichum Vasconcelos
Predicative Polymorphism in Pi-Calculus. PARLE (1994)
Vasco Thudichum Vasconcelos, Mario Tokoro
A Typing System for a Calculus of Objects. ISOTAS (1993)
Vasco Thudichum Vasconcelos, Kohei Honda
Principal Typing Schemes in a Polyadic pi-Calculus. CONCUR (1993)
Vasco Thudichum Vasconcelos, Mario Tokoro
Traces Semantics for Actor Systems. Object-Based Concurrent Computing (1991)