Traces Semantics for Actor Systems. - Vasco Thudichum Vasconcelos; Mario Tokoro (Object-Based Concurrent Computing, 1991)

Principal Typing Schemes in a Polyadic pi-Calculus. - Vasco Thudichum Vasconcelos; Kohei Honda 001 (CONCUR, 1993)

A Typing System for a Calculus of Objects. - Vasco Thudichum Vasconcelos; Mario Tokoro (ISOTAS, 1993)

Typed Concurrent Objects. - Vasco Thudichum Vasconcelos (ECOOP, 1994)

Predicative Polymorphism in Pi-Calculus. - Vasco Thudichum Vasconcelos (PARLE, 1994)

Unification of Kinded Infinite Trees. - Vasco Thudichum Vasconcelos (Inf. Process. Lett., 1995)

Behavioural Types for a Calculus of Concurrent Objects. - António Ravara; Vasco Thudichum Vasconcelos (Euro-Par, 1997)

Language Primitives and Type Discipline for Structured Communication-Based Programming. - Kohei Honda 001; Vasco Thudichum Vasconcelos; Makoto Kubo (ESOP, 1998)

Distribution and Mobility with Lexical Scoping in Process Calculi. - Vasco Thudichum Vasconcelos; Luís M. B. Lopes; Fernando M. A. Silva (HLCL, 1998)

A Virtual Machine for a Process Calculus. - Luís M. B. Lopes; Fernando M. A. Silva; Vasco Thudichum Vasconcelos (PPDP, 1999)

Communication Errors in the pi-Calculus are Undecidable. - Vasco Thudichum Vasconcelos; António Ravara (Inf. Process. Lett., 1999)

Processes, Functions, and Datatypes. - Vasco Thudichum Vasconcelos (Theory Pract. Object Syst., 1999)

A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. - Luís M. B. Lopes; Álvaro Reis Figueira; Fernando M. A. Silva; Vasco Thudichum Vasconcelos (CLUSTER, 2000)

Typing Non-uniform Concurrent Objects. - António Ravara; Vasco Thudichum Vasconcelos (CONCUR, 2000)

Secure Information Flow as Typed Process Behaviour. - Kohei Honda 001; Vasco Thudichum Vasconcelos; Nobuko Yoshida (ESOP, 2000)

Fine-Grained Multithreading with Process Calculi. - Luís M. B. Lopes; Vasco Thudichum Vasconcelos; Fernando M. A. Silva (IEEE Trans. Computers, 2001)

The Impact of Linearity Information on the Performance of TyCO. - Francisco Martins; Luís M. B. Lopes; Vasco Thudichum Vasconcelos (TIP@MPC, 2002)

Typing the Behavior of Objects and Component Using Session Types. - Antonio Vallecillo; Vasco Thudichum Vasconcelos; António Ravara (FOCLASA, 2002)

A Multi-threaded Asynchronous Language. - Hervé Paulino; Pedro Marques; Luís M. B. Lopes; Vasco Thudichum Vasconcelos; Fernando M. A. Silva (PaCT, 2003)

Lexically scoped distribution: what you see is what you get. - António Ravara; Ana Gualdina Almeida Matos; Vasco Thudichum Vasconcelos; Luís M. B. Lopes (FGC, 2003)

Session Types for Functional Multithreading. - Vasco Thudichum Vasconcelos; António Ravara; Simon J. Gay (CONCUR, 2004)

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Luís M. B. Lopes; Licínio Oliveira; Hervé Paulino; Vasco Thudichum Vasconcelos (Global Computing, 2004)

MiKO - Mikado Koncurrent Objects. - Francisco Martins; Liliana C. M. Salvador; Vasco Thudichum Vasconcelos; Luís M. B. Lopes (Foundations of Global Computing, 2005)

History-Based Access Control for Distributed Processes. - Francisco Martins; Vasco Thudichum Vasconcelos (TGC, 2005)

Lambda and pi calculi, CAM and SECD machines. - Vasco Thudichum Vasconcelos (J. Funct. Program., 2005)

Checking the Conformance of Java Classes Against Algebraic Specifications. - Isabel Nunes; Antónia Lopes; Vasco Thudichum Vasconcelos; João Abreu; Luís S. Reis (ICFEM, 2006)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication. - Nobuko Yoshida; Vasco Thudichum Vasconcelos (SecReT@ICALP, 2006)

Typing the Behavior of Software Components using Session Types. - Antonio Vallecillo; Vasco Thudichum Vasconcelos; António Ravara (Fundam. Informaticae, 2006)

Type checking a multithreaded functional language with session types. - Vasco Thudichum Vasconcelos; Simon J. Gay; António Ravara (Theor. Comput. Sci., 2006)

Disciplining Orchestration and Conversation in Service-Oriented Computing. - Ivan Lanese; Francisco Martins; Vasco Thudichum Vasconcelos; António Ravara (SEFM, 2007)

Session-Based Compilation Framework for Multicore Programming. - Nobuko Yoshida; Vasco Thudichum Vasconcelos; Hervé Paulino; Kohei Honda 001 (FMCO, 2008)

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. - Luís Cruz-Filipe; Ivan Lanese; Francisco Martins; António Ravara; Vasco Thudichum Vasconcelos (FMOODS, 2008)

Compiling the pi-calculus into a Multithreaded Typed Assembly Language. - Tiago Cogumbreiro; Francisco Martins; Vasco Thudichum Vasconcelos (PLACES@DisCoTec, 2008)

Type-Directed Compilation for Multicore Programming. - Kohei Honda 001; Vasco Thudichum Vasconcelos; Nobuko Yoshida (PLACES@DisCoTec, 2008)

Preface. - Vasco Thudichum Vasconcelos; Nobuko Yoshida (PLACES@DisCoTec, 2008)

Session types for linear multithreaded functional programming. - Vasco Thudichum Vasconcelos (PPDP, 2009)

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. - Isabel Nunes; Antónia Lopes; Vasco Thudichum Vasconcelos (RV, 2009)

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language - Vasco Thudichum Vasconcelos; Francisco Martins; Tiago Cogumbreiro (PLACES, 2009)

A Linear Account of Session Types in the Pi Calculus. - Marco Giunti; Vasco Thudichum Vasconcelos (CONCUR, 2010)

Modular session types for distributed object-oriented programming. - Simon J. Gay; Vasco Thudichum Vasconcelos; António Ravara; Nils Gesbert; Alexandre Z. Caldeira (POPL, 2010)

Runtime Verification for Generic Classes with ConGu 2. - Pedro Crispim; Antónia Lopes; Vasco Thudichum Vasconcelos (SBMF, 2010)

Channels as Objects in Concurrent Object-Oriented Programming - Joana Campos 002; Vasco T. Vasconcelos (PLACES, 2010)

Types for X10 Clocks - Francisco Martins; Vasco Thudichum Vasconcelos; Tiago Cogumbreiro (PLACES, 2010)

18th International Conference on Concurrency Theory. - Luís Caires; Vasco Thudichum Vasconcelos (Inf. Comput., 2010)

Linear type theory for asynchronous session types. - Simon J. Gay; Vasco Thudichum Vasconcelos (J. Funct. Program., 2010)

Core Calculi for Service-Oriented Computing. - Luís Caires; Rocco De Nicola; Rosario Pugliese; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (Results of the SENSORIA Project, 2011)

Session Typing for a Featherweight Erlang. - Dimitris Mostrous; Vasco Thudichum Vasconcelos (COORDINATION, 2011)

Sessions, from Types to Programming Languages. - Vasco T. Vasconcelos (Bull. EATCS, 2011)

Verification of MPI Programs Using Session Types. - Kohei Honda 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; Vasco Thudichum Vasconcelos; Nobuko Yoshida (EuroMPI, 2012)

A Type System for Flexible Role Assignment in Multiparty Communicating Systems. - Pedro Baltazar; Luís Caires; Vasco T. Vasconcelos; Hugo Torres Vieira (TGC, 2012)

Linearly Refined Session Types - Pedro Baltazar; Dimitris Mostrous; Vasco Thudichum Vasconcelos (LINEARITY, 2012)

An Algebra of Behavioural Types. - António Ravara; Pedro Resende; Vasco Thudichum Vasconcelos (Inf. Comput., 2012)

Fundamentals of session types. - Vasco T. Vasconcelos (Inf. Comput., 2012)

Selected Papers from the Eleventh International Conference on Coordination Models and Languages. - John Field; Vasco Thudichum Vasconcelos (Sci. Comput. Program., 2012)

Coordinating Phased Activities while Maintaining Progress. - Tiago Cogumbreiro; Francisco Martins; Vasco Thudichum Vasconcelos (COORDINATION, 2013)

Typing Progress in Communication-Centred Systems. - Hugo Torres Vieira; Vasco Thudichum Vasconcelos (COORDINATION, 2013)

A Concurrent Programming Language with Refined Session Types. - Juliana Franco; Vasco Thudichum Vasconcelos (SEFM Workshops, 2013)

Towards deductive verification of MPI programs against session types. - Eduardo R. B. Marques; Francisco Martins; Vasco T. Vasconcelos; Nicholas Ng; Nuno Martins (PLACES, 2013)

Typing Liveness in Multiparty Communicating Systems. - Luca Padovani; Vasco Thudichum Vasconcelos; Hugo Torres Vieira (COORDINATION, 2014)

The stream-based service-centred calculus: a foundation for service-oriented programming. - Luís Cruz-Filipe; Ivan Lanese; Francisco Martins; António Ravara; Vasco Thudichum Vasconcelos (Formal Aspects Comput., 2014)

Imperative objects with dependent types. - Joana Campos 002; Vasco T. Vasconcelos (FTfJP@ECOOP, 2015)

Protocol-based verification of message-passing parallel programs. - Hugo A. López 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; César Santos; Vasco Thudichum Vasconcelos; Nobuko Yoshida (OOPSLA, 2015)

Deductive Verification of Parallel Programs Using Why3. - César Santos; Francisco Martins; Vasco Thudichum Vasconcelos (ICE, 2015)

Modular Session Types for Objects - Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos (Log. Methods Comput. Sci., 2015)

Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). - Alastair F. Donaldson; Vasco T. Vasconcelos (J. Log. Algebraic Methods Program., 2015)

Context-free session types. - Peter Thiemann 001; Vasco T. Vasconcelos (ICFP, 2016)

Foundations of Session Types and Behavioural Contracts. - Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Luís Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro (ACM Comput. Surv., 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Linearity, session types and the Pi calculus. - Marco Giunti; Vasco Thudichum Vasconcelos (Math. Struct. Comput. Sci., 2016)

Inferring Types for Parallel Programs. - Francisco Martins; Vasco Thudichum Vasconcelos; Hans Hüttel (PLACES@ETAPS, 2017)

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). - Simon J. Gay; Vasco T. Vasconcelos; Philip Wadler; Nobuko Yoshida (Dagstuhl Reports, 2017)

Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. - Tiago Cogumbreiro; Rishi Surendran; Francisco Martins; Vivek Sarkar; Vasco T. Vasconcelos; Max Grossman (Proc. ACM Program. Lang., 2017)

Gradual session types. - Atsushi Igarashi; Peter Thiemann 001; Vasco T. Vasconcelos; Philip Wadler (Proc. ACM Program. Lang., 2017)

Dependent Types for Class-based Mutable Objects. - Joana Campos 002; Vasco T. Vasconcelos (ECOOP, 2018)

Dependent Types for Class-based Mutable Objects (Artifact). - Joana Campos 002; Vasco T. Vasconcelos (Dagstuhl Artifacts Ser., 2018)

Affine Sessions. - Dimitris Mostrous; Vasco T. Vasconcelos (Log. Methods Comput. Sci., 2018)

HeadREST: A Specification Language for RESTful APIs. - Vasco T. Vasconcelos; Francisco Martins; Antónia Lopes; Nuno Burnay (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. - Laura Bocchi; Maurizio Murgia 001; Vasco Thudichum Vasconcelos; Nobuko Yoshida (ESOP, 2019)

FreeST: Context-free Session Types in a Functional Language. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2019)

The computational content of atomic polymorphism. - Gilda Ferreira; Vasco T. Vasconcelos (Log. J. IGPL, 2019)

Gradual session types. - Atsushi Igarashi; Peter Thiemann 001; Yuya Tsuda; Vasco T. Vasconcelos; Philip Wadler (J. Funct. Program., 2019)

Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. - Philipp Haller; Vasco Thudichum Vasconcelos (J. Log. Algebraic Methods Program., 2019)

Mixed Sessions. - Vasco T. Vasconcelos; Filipe Casal; Bernardo Almeida; Andreia Mordido (ESOP, 2020)

Statically Checking REST API Consumers. - Nuno Burnay; Antónia Lopes; Vasco T. Vasconcelos (SEFM, 2020)

Deciding the Bisimilarity of Context-Free Session Types. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (TACAS (2), 2020)

Duality of Session Types: The Final Cut. - Simon J. Gay; Peter Thiemann 001; Vasco T. Vasconcelos (PLACES@ETAPS, 2020)

Mixed Sessions: the Other Side of the Tape. - Filipe Casal; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2020)

SafeRESTScript: Statically Checking REST API Consumers. - Nuno Burnay; Antónia Lopes; Vasco T. Vasconcelos (CoRR, 2020)

Label-dependent session types. - Peter Thiemann 001; Vasco T. Vasconcelos (Proc. ACM Program. Lang., 2020)

Polymorphic Context-free Session Types. - Bernardo Almeida; Andreia Mordido; Peter Thiemann 001; Vasco T. Vasconcelos (CoRR, 2021)

Protocol-Based Smart Contract Generation. - Afonso Falcão; Andreia Mordido; Vasco T. Vasconcelos (Financial Cryptography Workshops, 2022)

The Different Shades of Infinite Session Types. - Simon J. Gay; Diogo Poças; Vasco T. Vasconcelos (FoSSaCS, 2022)

Higher-order Context-free Session Types in System F. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (PLACES@ETAPS, 2022)

Polymorphic lambda calculus with context-free session types. - Bernardo Almeida; Andreia Mordido; Peter Thiemann 001; Vasco T. Vasconcelos (Inf. Comput., 2022)

Mixed sessions. - Filipe Casal; Andreia Mordido; Vasco T. Vasconcelos (Theor. Comput. Sci., 2022)

A Type Discipline for Message Passing Parallel Programs. - Vasco T. Vasconcelos; Francisco Martins; Hugo-Andrés López 001; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2022)

Subtyping Context-Free Session Types. - Gil Silva 002; Andreia Mordido; Vasco T. Vasconcelos (CONCUR, 2023)

System Fμ ømega with Context-free Session Types. - Diogo Poças; Diana Costa 001; Andreia Mordido; Vasco T. Vasconcelos (ESOP, 2023)

System Fμω with Context-free Session Types. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (CoRR, 2023)

Parameterized Algebraic Protocols. - Andreia Mordido; Janek Spaderna; Peter Thiemann 001; Vasco T. Vasconcelos (Proc. ACM Program. Lang., 2023)

AlgST. - Janek Spaderna; Peter Thiemann 001; Andreia Mordido; Vasco Thudichum Vasconcelos (Zenodo, 2023)

Linear Contextual Metaprogramming and Session Types. - Pedro Ângelo 002; Atsushi Igarashi; Vasco T. Vasconcelos (PLACES@ETAPS, 2024)

Behavioural Types for Heterogeneous Systems (Position Paper). - Simon Fowler 001; Philipp Haller; Roland Kuhn 002; Sam Lindley; Alceste Scalas; Vasco T. Vasconcelos (PLACES@ETAPS, 2024)

Simple grammar bisimilarity, with an application to session type equivalence. - Diogo Poças; Vasco T. Vasconcelos (CoRR, 2024)

Polymorphic higher-order context-free session types. - Diana Costa 001; Andreia Mordido; Diogo Poças; Vasco T. Vasconcelos (Theor. Comput. Sci., 2024)

Local Type Inference for Context-Free Session Types. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2025)

Kind inference for the FreeST programming language. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (J. Log. Algebraic Methods Program., 2026)