publications

DBLP | GoogleScholar | ACM | Orcid | Scopus | Session types "in A Conversation with Steve Ross-Talbot"

Abstracts | BibTeX

on structured communication-based programming

A Concurrent Programming Language with Refined Session Types. Juliana Franco and Vasco Thudichum Vasconcelos. In Beat'2, pages 33-42, 2013. [ Abstract | BibTeX | pdf ]

Especificação e Verificação de Protocolos para Programas MPI. Nuno Martins, César Santos, Eduardo R. B. Marques, Francisco Martins and Vasco Thudichum Vasconcelos. In INFORUM'13, pages 90-101. 2013. ISBN: 978-989-97060-8-8. [ Abstract | BibTeX | pdf ]

Typing Progress in Communication-Centred Systems. Hugo Torres Vieira and Vasco Thudichum Vasconcelos. In COORDINATION'13, volume 7890 of LNCS, pages 236-250. Springer, 2013. [ Abstract | BibTeX | pdf ]

Linearity, Session Types and the Pi Calculus. Marco Giunti and Vasco Thudichum Vasconcelos. Mathematical Structures in Computer Science, X:Y-Z, 2013. [ Abstract | BibTeX | pdf ]
Previous version: A Linear Account of Session Types in the pi Calculus, in 21st International Conference on Concurrency Theory, volume 6269 of LNCS, pages 432-446. Springer, 2010. [ Abstract | BibTeX | pdf | doi ]

A Type System for Flexible Role Assignment in Multiparty Communicating Systems. Pedro Baltazar, Luís Caires, Vasco Thudichum Vasconcelos, and Hugo T. Vieira. In 7th International Symposium on Trustworthy Global Computing, volume 8191 of LNCS, pages 82-96. Springer, 2013. [ Abstract | BibTeX | pdf ]
Preliminar version: Typing Dynamic Roles in Multiparty Interaction, in INForum 2011, [ BibTeX | pdf ] and in Technical Report 2011-7, DI-FCT/UNL, 2011, Dynamic Roles in Multiparty Communicating Systems. [ BibTeX | pdf ]

Towards Deductive Verification of MPI Programs against Session Types. Eduardo R. B. Marques, Francisco Martins, Vasco Thudichum Vasconcelos, Nicholas Ng and Nuno Martins In PLACES'13 - Programming Language Approaches to Concurrency and Communication-cEntric Software. 2013. [ Abstract | BibTeX | pdf ]

Verification of MPI Programs Using Session Types. Kohei Honda, Eduardo R. B. Marques, Nicholas Ng, Vasco Thudichum Vasconcelos, and Nobuko Yoshida. In EuroMPI'12, volume 7490 of LNCS, pages 291-293. Springer, 2012. [ Abstract | BibTeX | pdf ]

Linearly Refined Session Types. Pedro Baltazar, Dimitris Mostrous, and Vasco Thudichum Vasconcelos. In Linearity'11, volume 101 of EPTCS, pages 38-49. 2012. [ Abstract | BibTeX | pdf ]

Fundamentals of Session Types. Vasco Thudichum Vasconcelos. Information and Computation. Elsevier, 217:52-70, 2012. [ Abstract | BibTeX | pdf | doi ]
Previous version in 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, volume 5569 of LNCS, pages 158-186. Springer, 2009. [ BibTeX | pdf ]

Session Typing for a Featherweight Erlang. Dimitris Mostrous and Vasco Thudichum Vasconcelos. In 11th International Conference on Coordination Models and Languages, volume 6221 of LNCS, pages 95-109. Springer, 2011. [ Abstract | BibTeX | pdf | doi ]

Sessions, from Types to Programming Languages. Vasco Thudichum Vasconcelos. Bulletin of the European Association for Theoretical Computer Science, 103:53-73. 2011. [ Abstract | BibTeX | pdf ]

Indexed Types in Object-Oriented Programming. Joana Campos and Vasco Thudichum Vasconcelos. In 3rd Inforum, SOFT-PT, 2011. [ Abstract | BibTeX | pdf ]

Channels as Objects in Concurrent Object-Oriented Programming. Joana Campos and Vasco Thudichum Vasconcelos. In PLACES'10 - Programming Language Approaches to Concurrency and Communication-cEntric Software, volume 69 of EPTCS, pages 12-28. 2011. [ Abstract | BibTeX | pdf | doi ]

Type Safety without Subject Reduction for Session Types. Vasco Thudichum Vasconcelos, Marco Giunti, Nobuko Yoshida, and Kohei Honda. 2010. [ Abstract | BibTeX | pdf ]

Modular Session Types for Distributed Object-Oriented Programming. Simon Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, and Alexandre Z. Caldeira. In Symposium on Principles of Programming Languages, pages 299-312. ACM Press, 2010. [ Abstract | BibTeX | pdf ]
arXiv version: [ BibTeX | pdf | arXiv ]
Proofs and some small corrections, Technical Report TR-2010-308. Department of Computing, University of Glasgow, 2010. [ BibTeX | pdf ]

Linear Type Theory for Asynchronous Session Types. Simon Gay and Vasco Thudichum Vasconcelos. Journal of Functional Programming, 20(1):19-50. Cambridge University Press, 2010. [ Abstract | BibTeX | pdf | doi ]
Previous version: Asynchronous Functional Session Types, Technical Report 2007-251. Department of Computing, University of Glasgow, 2007. [ Abstract | BibTeX | pdf ]

Session Types for Linear Multithreaded Functional Programming. Vasco Thudichum Vasconcelos. In 11th International ACM Symposium on Principles and Practice of Declarative Programming, pages 1-6. ACM Press, 2009. [ Abstract | BibTeX | pdf ]

Session-based Type Discipline for Pi Calculus with Matching. Marco Giunti, Kohei Honda, Vasco Thudichum Vasconcelos, and Nobuko Yoshida. In Pre-Proceedings of PLACES'09 - Programming Language Approaches to Concurrency and Communication-cEntric Software. February 2009. [ BibTeX | pdf ]

Dynamic Interfaces. Vasco Thudichum Vasconcelos, Simon Gay, António Ravara, Nils Gesbert, and Alexandre Z. Caldeira. In International Workshop on Foundations of Object-Oriented Languages (FOOL'09), 2009. [Abstract | BibTeX | pdf ]

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited - Two Systems for Higher-Order Session Communication. Nobuko Yoshida and Vasco Thudichum Vasconcelos. In 1st International Workshop on Security and Rewriting Techniques (SecReT 2006), ENTCS, 171(4):73-93, 2007. [ Abstract | BibTeX | pdf ]
Previous version: Technical Report DI/FCUL TR-06-9. Department of Informatics, University of Lisbon. June 2006. [ Abstract | BibTeX | pdf ]

Typechecking a Multithreaded Functional Language with Session Types. Vasco Thudichum Vasconcelos, Simon Gay, and António Ravara. Theoretical Computer Science, 368(1-2):64-87, 2006. [ Abstract | BibTeX | pdf ]

Typing the Behavior of Software Components using Session Types. António Vallecillo, Vasco Thudichum Vasconcelos, and António Ravara. Fundamenta Informaticae, 73(4):583-598, 2006. [ Abstract | BibTeX | pdf ]
Previous version: Typing the Behavior of Objects and Components using Session Types, in Foclasa 2002, 1st International Workshop on Foundations of Coordination Languages and Software Architectures. ENTCS, 68(3):439-465, 2003. [ Abstract | BibTeX | pdf ]

Session Types for Functional Multithreading. Vasco Thudichum Vasconcelos, António Ravara, and Simon Gay. In 15th International Conference on Concurrency Theory, volume 3170 of LNCS, pages 497-511. Springer, 2004. [ Abstract | BibTeX | pdf ]
Long version: Technical Report DI/FCUL TR-05-9. Department of Informatics, University of Lisbon, May 2005 [ Abstract | BibTeX | pdf ]
Note: SR does not hold in this work; see Typechecking a Multithreaded Functional Language with Session Types or Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited.

Session Types for Inter-Process Communication. Simon Gay, Vasco Thudichum Vasconcelos, and António Ravara. Technical Report 2003-133. Department of Computing, University of Glasgow, 2003. [ Abstract | BibTeX | pdf ]

Secure Information Flow as Typed Process Behaviour. Kohei Honda, Vasco Thudichum Vasconcelos, and Nobuko Yoshida In European Symposium on Computing, volume of 1872 LNCS, pages 188-199. Springer, 2000. [ Abstract | BibTeX | pdf ]
Extended version: Technical Report 767. Department of Computer Science, Queen Mary and Westfield College, 1999. [ Abstract | BibTeX | pdf ]

Language Primitives and Type Discipline for Structured Communication-Based Programming. Kohei Honda, Vasco Thudichum Vasconcelos, and Makoto Kubo. In European Symposium on Computing, volume 1381 of LNCS, pages 122-138. Springer, 1998. [ Abstract | BibTeX | pdf ]

on mobile calculi

The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming. Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, and Vasco Thudichum Vasconcelos. Formal Aspects of Computing, 26(5):865--918, 2014. [ Abstract| BibTeX| pdf | doi ]

An Algebra of Behavioural Types. António Ravara, Pedro Resende, and Vasco Thudichum Vasconcelos. Information and Computation 212, pages 64-91. Elsevier, 2012. [ Abstract | BibTeX | pdf | doi ]
Earlier version: Technical Report 26-99, Department of Mathematics, Technical University of Lisbon, 1999. [ BibTeX | pdf ]
Also, Towards an Algebra of Dynamic Object Types. In Workshop on Semantics of Objects as Processes, BRICS Notes Series, NS-98-5. 1998. [ Abstract | BibTeX | pdf ]

Core Calculi for Service Oriented Computing. Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, and Gianluigi Zavattaro. In Rigorous Software Engineering for Service-Oriented Systems, volume 6582 of LNCS, pages 153-188. Springer, 2011. [ Abstract | BibTeX | pdf | doi ]

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara and Vasco Thudichum Vasconcelos. In 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, volume 5051 of LNCS, pages 59-77. Springer, 2008. [ Abstract | BibTeX | pdf ]

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, Licínio Oliveira, Hervé Paulino, and Vasco Thudichum Vasconcelos. In Trustworthy Global Computing, volume 3267 of LNCS, pages 179-207. Springer, 2008. [ Abstract | BibTeX | pdf ]

Bisimulations in SSCC. Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara and Vasco Thudichum Vasconcelos. Technical Report DI/FCUL TR-07-37. Department of Informatics, University of Lisbon, December 2007. [ Abstract | BibTeX | pdf ]

Disciplining Orchestration and Conversation in Service-Oriented Computing. Ivan Lanese, Vasco Thudichum Vasconcelos, Francisco Martins and António Ravara. In 5th IEEE International Conference on Software Engineering and Formal Methods, pages 305-314. IEEE, 2007. [ Abstract | BibTeX | pdf ]
Extended version: Technical Report DI/FCUL TR-07-3. Department of Informatics, University of Lisbon, March 2007. [ Abstract | BibTeX | pdf ]

SCC: a Service Centered Calculus. Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Vasconcelos and Gianluigi Zavattaro. In 3rd International Workshop on Web Services and Formal Methods, volume 4184 of LNCS, pages 38-57. Springer, 2006. [ Abstract | BibTeX | pdf ]

MiKO: Mikado Koncurrent Objects. Francisco Martins and Liliana Salvador and Vasco Thudichum Vasconcelos and Luís Lopes. In Foundations of Global Computing, Dagstuhl Seminar Proceedings 05081, 2006. [ Abstract | BibTeX| pdf ]

History-Based Access Control for Distributed Processes. Francisco Martins and Vasco Thudichum Vasconcelos. In Proceedings of Trustworthy Global Computing, volume 3795 of LNCS, pages 98-115. Springer, 2005. [ Abstract | BibTeX | pdf ]

Lambda and pi Calculi, CAM and SECD Machines. Vasco Thudichum Vasconcelos. Journal of Functional Programming, 15(1):101-127, 2005. [ Abstract | BibTeX | pdf ]
AKA [Vas01] An Efficient Encoding of Call-By-Value Lambda-Calculus into the pi-Calculus.
Earlier version: The Call-By-Value Lambda-Calculus, the SECD Machine, and the pi-Calculus. Vasco Thudichum Vasconcelos. Technical Report DI/FCUL TR-00-3. Department of Computer Science, University of Lisbon. May 2000. [ Abstract | BibTeX | pdf ]

Controlling Security Policies in a Distributed Environment. Francisco Martins and Vasco Thudichum Vasconcelos. Technical Report DI/FCUL TR-04-1. Department of Informatics, University of Lisbon, April 2004. [ Abstract | BibTeX | pdf ]

Lexically Scoping Distribution: What You See Is What You Get. António Ravara, Ana G. Matos, Vasco Thudichum Vasconcelos, and Luís Lopes. In Foundations of Global Computing, ENTCS, 85(1):16-91, 2003. [ Abstract | BibTeX | pdf ]
Preliminary version: A Lexically Scoped Distributed pi-Calculus. António Ravara, Ana G. Matos, Vasco Thudichum Vasconcelos and Luís Lopes. Technical Report DI/FCUL TR-02-4. Department of Computer Science, University of Lisbon. April 2002. [ Abstract | BibTeX | pdf ]

Communication Errors in the pi-Calculus Are Undecidable. Vasco Thudichum Vasconcelos and António Ravara. Information Processing Letters, 71(5-6):229-233, 1999. [Abstract | BibTeX | pdf ]

Distribution and Mobility with Lexical Scoping in Process Calculi. Vasco Thudichum Vasconcelos, Luís Lopes, and Fernando Silva. In 3rd International Workshop on High-Level Concurrent Languages, ENTCS, 16(3):189-204. Elsevier Science Publishers, 1998. [ Abstract | BibTeX | pdf ]

Predicative Polymorphism in pi-Calculus. Vasco Thudichum Vasconcelos. In 6th Parallel Architectures and Languages Europe, volume 817 of LNCS, pages 425-437. Springer, 1994. [ Abstract | BibTeX | ps.gz ]

Asynchronous nu-Calculus and Interaction-Based Programming Methodologies. Kohei Honda, Makoto Kubo, Atsushi Sano, Takeuchi Kaku, Vasco Thudichum Vasconcelos and Nobuko Yoshida. In Research Report of the Institute of Electronics, Information and Communication Engineers, Institute of Electronics, Information and Communication Engineers, Japan, 1994 [ BibTeX | pdf ]

Principal Typing-Schemes in a Polyadic pi-Calculus. Vasco Thudichum Vasconcelos and Kohei Honda. In 4th International Conference on Concurrency Theory, volume 715 of LNCS, pages 524-538. Springer, 1993. [ Abstract | BibTeX | ps.gz ]
Extended version: Technical Report CS 92-004. Keio University, 1992. [ BibTeX | ps.gz ]

A Note on a Typing System for the Higher Order pi-Calculus. Vasco Thudichum Vasconcelos. Keio University, 1993. [ Abstract | BibTeX | ps.gz ]

on multicore programming

Inferência de Anotações para Evitar Impasses numa Linguagem Intermédia Polimórfica. Roberto Silva, Francisco Martins and Vasco Thudichum Vasconcelos. In INFORUM'13, pages 127-138. Escola de Ciências e Tecnologia da Universidade de Évora, 2013. ISBN: 978-989-97060-8-8. [ Abstract | BibTeX | pdf ]

Coordinating Phased Activities While Maintaining Progress. Tiago Cogumbreiro, Francisco Martins, and Vasco Thudichum Vasconcelos. In COORDINATION'13, volume 7890 of LNCS, pages 31-44. Springer, 2013. [ Abstract | BibTeX | pdf ]

Types for X10 Clocks. Francisco Martins, Vasco Thudichum Vasconcelos, and Tiago Cogumbreiro. In Proceedings of PLACES'10 - Programming Language Approaches to Concurrency and Communication-cEntric Software, volume 69 of EPTCS, pages 111-125. 2011. [ Abstract | BibTeX | pdf | doi ]

Type Inference for Deadlock Detection in a Multithreaded Typed Assembly Language. Vasco Thudichum Vasconcelos, Francisco Martins, and Tiago Cogumbreiro. In Proceedings of PLACES'09 - Programming Language Approaches to Concurrency and Communication-cEntric Software, volume 17 of EPTCS, pages 95-109. 2010. [ Abstract | BibTeX | pdf ]

Session-Based Compilation Framework for Multicore Programming. Nobuko Yoshida, Vasco Vasconcelos, Hervé Paulino, and Kohei Honda In Proceedings of Formal Methods for Components and Objects, volume 5751 of LNCS, pages 226-246. Springer, 2009. [ Abstract | BibTeX | pdf ]

Type-Directed Compilation for Multicore Programming. Kohei Honda, Vasco Thudichum Vasconcelos, and Nobuko Yoshida. In Proceedings of PLACES'08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, ENTCS, 241:101-111. Elsevier Science, 2009. [ Abstract | BibTeX | pdf ]

Compiling the pi-Calculus into a Multi-Threaded Typed Assembly Language. Tiago Cogumbreiro, Francisco Martins, and Vasco Thudichum Vasconcelos. In Proceedings of PLACES'08 - Programming Language Approaches to Concurrency and Communication-cEntric Software, ENTCS, 241:57-84. Elsevier Science Publishers, 2009. [ Abstract | BibTeX | pdf ]
Technical Report: DI/FCUL TR-08-13. Department of Informatics, University of Lisbon, May 2008. [ Abstract | BibTeX | pdf ]

A Multithreaded Typed Assembly Language. Vasco Thudichum Vasconcelos and Francisco Martins. In Proceedings of TV06 - Multithreading in Hardware and Software: Formal Approaches to Design and Verification, pages 133-141. 2006. [ Abstract | BibTeX | pdf ]

on contract guided system development

Runtime Verification for Generic Classes with Congu2. Pedro Crispim, Antónia Lopes, and Vasco Thudichum Vasconcelos. In Proceedings of the 13th Brazilian Symposium on Formal Methods, volume 6527 of LNCS, pages 33--48. Springer, 2011. [ Abstract | BibTeX | pdf | doi ]

Bridging the Gap Between Algebraic Specification and Object-Oriented Generic Programming. Isabel Nunes, Antónia Lopes, and Vasco Thudichum Vasconcelos. In Proceedings of the 9th International Workshop of Runtime Verification, volume 5779 of LNCS, pages 115-131. Springer, 2009. [ Abstract | BibTeX | pdf ]

Monitoring Java Code Using ConGu. Vasco Thudichum Vasconcelos, Isabel Nunes, Antónia Lopes. In 19th International Workshop on Algebraic Development Techniques. Technical Report, TR-08-15, pages 69-71. Università di Pisa, June 2008. [ BibTeX | pdf ]
Earlier extended version: Vasco Thudichum Vasconcelos, Isabel Nunes, Antónia Lopes, and Luís S. Reis. May 2007. [ Abstract | BibTeX | pdf ]

Runtime Checking Java Code Using ConGu. Vasco Thudichum Vasconcelos, Isabel Nunes, Antónia Lopes, Nuno Ramiro, and Pedro Crispim. In International Workshop on Advanced Software Development Tools and Techniques. June 2008. [ Abstract | BibTeX | pdf ]

ConGu, Checking Java Classes Against Property-Driven Algebraic Specifications . João Abreu, Alexandre Caldeira, Antónia Lopes, Isabel Nunes, Luís S. Reis, and Vasco Thudichum Vasconcelos. Technical Report DI/FCUL TR-07-7. Department of Informatics, University of Lisbon, March 2007. [ Abstract | BibTeX | pdf ]

Checking the Conformance of Java Classes Against Algebraic Specifications. Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, and Luís S. Reis. In Proceedings of International Conference on Formal Engineering Methods, volume 4260 of LNCS, pages 494-513. Springer, 2006. [ Abstract | BibTeX | pdf ]

Guiding Specification and OO implementation of Data Types. Isabel Nunes, Vasco Thudichum Vasconcelos, and Antónia Lopes. March 2006. [ Abstract | BibTeX | pdf ]

Testing Implementations of Algebraic Specifications with Design-By-Contract Tools. Isabel Nunes, Antónia Lopes, João Abreu, Luís Reis, and Vasco Thudichum Vasconcelos. Technical Report DI/FCUL TR-05-22. Department of Informatics, University of Lisbon, December 2005. [ Abstract | BibTeX | pdf ]

Contract Guided System Development. Isabel Nunes and Vasco Thudichum Vasconcelos. Presented at the ECOOP'02 Sixth Workshop on Pedagogies and Tools for Learning Object-Oriented Concepts. April 2002. [ Abstract | BibTeX | pdf ]

on typed concurrent objects

A Multi-Threaded Asynchronous Language. Hervé Paulino, Pedro Marques, Luís Lopes, Vasco Thudichum Vasconcelos, and Fernando Silva. In 7th International Conference on Parallel Computing Technologies (PaCT'03), volume 2763 of LNCS, pages 316-323. Springer, 2003. [ Abstract | BibTeX | pdf ]

The Impact of Linearity Information on the Performance of TyCO. Francisco Martins, Luís Lopes, and Vasco Thudichum Vasconcelos. In Workshop on Types in Programming (TIP'02), ENTCS, 75: 41-60. Elsevier Science Publishers, 2002. [ Abstract | BibTeX | pdf ]
Ealier version: TyCO + Linear Channels. Francisco Martins and Vasco Thudichum Vasconcelos. Technical Report DI/FCUL TR-01-11. Department of Computer Science, University of Lisbon, December 2001. [ Abstract | BibTeX | pdf ]

Fine Grained Multithreading with Process Calculi. Luís Lopes, Vasco Thudichum Vasconcelos, and Fernando Silva. Transactions on Computers:217-226. ACM Press, 2001. [ Abstract | BibTeX | pdf ]
Earlier version: International Conference on Parallel Architectures and Compilation Techniques (Pact'00), pages 217-226. IEEE, 2000. [ BibTeX | pdf ]

Core-TyCO: Appendix to the Language Definition, Yielding Version 0.2. Vasco Thudichum Vasconcelos. Technical Report DI/FCUL TR-01-5. Department of Computer Science, University of Lisbon. July 2001. [ Abstract | BibTeX | pdf ]

TyCO Gently. Vasco Thudichum Vasconcelos. Technical Report DI/FCUL TR-01-4. Department of Computer Science, University of Lisbon, July 2001. [ Abstract | BibTeX | pdf ]

A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility. Luís Lopes, Álvaro Figueira, Fernando Silva, and Vasco Thudichum Vasconcelos. In IEEE International Conference on Cluster Computing, pages 297-306. IEEE Computer Society, 2000. [ Abstract | BibTeX | pdf ]

Typing Non-uniform Concurrent Objects. António Ravara and Vasco Thudichum Vasconcelos. In 10th International Conference on Concurrency Theory, volume 1877 of LNCS, pages 474-488. Springer, 2000. [ Abstract | BibTeX | pdf ]

A Virtual Machine for the TyCO Process Calculus. Luís Lopes, Fernando Silva, and Vasco Thudichum Vasconcelos. In Principles and Practice of Declarative Programming, volume 1702 of LNCS, pages 244-260. Springer, 1999. [ Abstract | BibTeX | pdf ]

DiTyCO: Concorrência e Mobilidade de Código. Álvaro Figueira, Fernando Silva, Luís Lopes, and Vasco Thudichum Vasconcelos. In Encontro Português de Computação Móvel, pages 25-35. 1999. [ Abstract | ps.gz ]

DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. Luís Lopes, Fernando Silva, Álvaro Figueira, and Vasco Thudichum Vasconcelos. Presented at the 5th Mobile Object Systems Workshop (MOS'99). [ Abstract | BibTeX | pdf ]

Processes, Functions, Datatypes. Vasco Thudichum Vasconcelos. Theory and Practice of Object Systems, 5(2):97-110. Wiley, 1999. [ Abstract | BibTeX | ps.gz ]

Compiling Object Calculi. Luís Lopes, Fernando Silva, and Vasco Thudichum Vasconcelos. Technical Report DCC 98-3, Departamento de Ciências de Computadores, Universidade do Porto, March 1998. [ Abstract | BibTeX | ps.gz ]

Core-TyCO, The Language Definition, Version 0.1. Vasco Thudichum Vasconcelos and Rui Bastos. Technical Report DI/FCUL TR-98-3. Department of Computer Science, University of Lisbon. March 1998. [ Abstract | BibTeX | pdf ]

Um Ambiente para Computações Distribuídas, Concorrência e Mobilidade de Código. Álvaro Figueira, Fernando Silva, Luís Lopes, and Vasco Thudichum Vasconcelos. In 1a Conferência sobre Redes de Computadores, pages 139-142. 1999. (Also available as Technical Report DCC-98-7, DCC-FC & LIACC). [ BibTeX | ps.gz ]

An Abstract Machine for an Object Calculus. Luís Lopes and Vasco Thudichum Vasconcelos. Technical Report DCC 97-5, Departamento de Ciências de Computadores, Universidade do Porto, July 1997. [ Abstract | BibTeX | ps.gz ]

TyCO Abstract Machine - The Definition. Luís Lopes and Vasco Thudichum Vasconcelos. Technical Report DCC 97-1, Departamento de Ciências de Computadores, Universidade do Porto, July 1997. [ Abstract | BibTeX | ps.gz ]

Behavioural Types for a Calculus of Concurrent Objects. António Ravara and Vasco Thudichum Vasconcelos. In Euro-Par'97, volume 1300 of LNCS, pages 445-561. Springer, 1997. [ Abstract | BibTeX ]
Extended version: Technical Report 97-6. Dep. of Mathematics, Technical University of Lisbon, 1997. [ BibTeX | ps.gz ]

An Operational Semantics and a Type System for GNOME Based on a Typed Calculus of Objects. António Ravara and Vasco Thudichum Vasconcelos. Technical Report 17-96, Department of Mathematics, Technical University of Lisbon, 1996. [ Abstract | BibTeX | ps.gz ]

An Operational Semantics and a Type System for ABCL/1 Based on a Calculus of Objects. Vasco Thudichum Vasconcelos. In Object-Oriented Computing III, Lecture Notes. Kindai Kagaku Sha, 1995. [ Abstract | BibTeX]
Extended version: Technical Report CS 94-001. Keio University, 1994. [ BibTeX | ps.gz ]

A Process-Calculus Approach to Typed Concurrent Objects. Vasco Thudichum Vasconcelos. PhD thesis, Keio University, 1994. [ Abstract | BibTeX | ps.gz ]

Recursive Types in a Calculus of Objects. Vasco Thudichum Vasconcelos. Transactions of Information Processing Society of Japan, 35(9):1828-1836. 1994. [ Abstract | BibTeX | ps.gz ]
Abridged and revised from CS 93-002, Keio University, 1993. [ ps.gz ]

Typed Concurrent Objects. Vasco Thudichum Vasconcelos. In 8th European Conference on Object-Oriented Programming, volume 821 of LNCS, pages 100-117. Springer, 1994. [ Abstract | BibTeX | pdf ]

A Typing System for a Calculus of Objects. Mario Tokoro and Vasco Thudichum Vasconcelos. In 1st International Symposium on Object Technologies for Advanced Software, volume 742 of LNCS, pages 460-474. Springer, 1993. [ Abstract | BibTeX | ps.gz ]
Abridged version in Object-Oriented Computing II, number 6 in Lecture Notes, pages 211-222. Kindai Kagaku Sha, 1994. [ BibTeX ]

A Predicative Polymorphic Type System for a Calculus of Objects. Vasco Thudichum Vasconcelos. In Type Theory and its Applications to Computer Systems, number 851, RIMS Lecture Notes, pages 78-87. Kyoto University, 1993. [ Abstract | BibTeX ]

TyCO: The Language Definition, Version 0.0. Vasco Thudichum Vasconcelos. Keio University, 1993. [ Abstract | BibTeX ]

on actor systems

Towards Trace Semantics for Actor Systems. Vasco Thudichum Vasconcelos and Mario Tokoro. In Object-Oriented Computing I, number 4, Lecture Notes, pages 335-346. Kindai Kagaku Sha, 1993. In Japanese. [ BibTeX ]

Trace Semantics for Actor Systems. Vasco Thudichum Vasconcelos and Mario Tokoro. In Object-Based Concurrent Computing, volume 612 of LNCS pages 141-162. Springer, 1992. [ Abstract | BibTeX | ps.gz ]

Trace Semantics for Concurrent Objects. Vasco Thudichum Vasconcelos. Master's thesis, Keio University, 1992. [ Abstract | BibTeX | ps.gz ]

on unification

Unification of Kinded Infinite Trees. Vasco Thudichum Vasconcelos. Information Processing Letters, 55:323-328. Elsevier, 1995. [ Abstract | BibTeX | ps.gz ]

on coordination languages

Truth and Action Osmosis: The TAO Computation Model. António Porto and Vasco Thudichum Vasconcelos. In C.Hankin, J.-M.Andreoli, and D.Le Métayer, editors, Coordination Programming: Mechanisms, Models, and Semantics, pages 65-97. Imperial College Press, 1996. [ Abstract | BibTeX | ps.gz ]
Also as Technical Report 95-1, Universidade Nova de Lisboa, Departamento de Informática, 1995. [ BibTeX ]

as editor

PLACES 2014 - 7th International Workshop in Programming Language Approaches to Concurrency and Communication-cEntric Software, Post-Proceedings. Alastair F. Donaldson adnd Vasco Thudichum Vasconcelos (Eds.). Volume 155 of Electronic Proceedings in Theoretical Computer Science, 2014. [ BibTeX ]

COORDINATION 2009 - Selected Papers from the Eleventh International Conference on Coordination Models and Languages. John Field, Vasco Thudichum Vasconcelos (Eds.). Volume 77(6), Science of Computer Programming. Elsevier, 2012. [ BibTeX | doi ]

CONCUR 2007 - Special Issue: 18th International Conference on Concurrency Theory. Luís Caires, Vasco Thudichum Vasconcelos (Eds.). Volume 208(6), Information and Computation. Elsevier, 2010. [ BibTeX | doi ]

COORDINATION 2009 - Coordination Models and Languages, 11th International Conference, Proceedings. John Field, Vasco Thudichum Vasconcelos (Eds.). Volume 5521 of Lecture Notes in Computer Science. Springer, 2009, ISBN 978-3-642-02052-0. [ BibTeX ]

PLACES 2008 - 1st International Workshop in Programming Language Approaches to Concurrency and Communication-cEntric Software, Post-Proceedings. Vasco Thudichum Vasconcelos and Nobuko Yoshida (Eds.). Volume 241 of Electronic Notes in Theoretical Computer Science, 2009. [ BibTeX ]

PLACES 2008 - 1st International Workshop in Programming Language Approaches to Concurrency and Communication-cEntric Software, Proceedings. Vasco Thudichum Vasconcelos and Nobuko Yoshida (Eds.). Technical Report DI/FCUL TR-08-14, 2008. [ BibTeX | pdf ]

CONCUR 2007 - Concurrency Theory, 18th International Conference, Proceedings. Luís Caires, Vasco Thudichum Vasconcelos (Eds.). Volume 4703 of Lecture Notes in Computer Science. Springer, 2007, ISBN 978-3-540-74406-1. [ BibTeX ]