publications

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

Abstracts | BibTeX

on structured communication-based programming

Polymorphic Context-free Session Types. Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos. CoRR abs/2106.06658, 2021 [ doi ]

Label-dependent session types. Peter Thiemann, Vasco T. Vasconcelos Proc. ACM Program. Lang. 4(POPL): 67:1-67:29, 2020 [ doi ]

Mixed Sessions. Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido. ESOP 2020: 715-742, 2020 [ doi ]
Vasco T. Vasconcelos, Filipe Casal, Andreia Mordido. Theoretical Computer Science, 2021 [ pdf ]

Deciding the Bisimilarity of Context-Free Session Types. Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. TACAS (2) 2020: 39-56, 2020 [ doi ]

Duality of Session Types: The Final Cut. Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos. PLACES@ETAPS 2020: 23-33, 2020 [ doi ]

Mixed Sessions: the Other Side of the Tape. Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos. PLACES@ETAPS 2020: 46-60, 2020 [ doi ]

Gradual session types. Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler. J. Funct. Program. 29: e17, 2019 [ doi ]

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida. ESOP 2019: 583-610, 2019 [ doi ]

FreeST: Context-free Session Types in a Functional Language. Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. PLACES@ETAPS 2019: 12-23, 2019 [ doi ]

Affine Sessions. Dimitris Mostrous, Vasco T. Vasconcelos. COORDINATION 2014: 115-130 [ doi ]
Log. Methods Comput. Sci. 14(4), 2018 [ doi ]

Gradual session types . Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler. Proc. ACM Program. Lang. 1(ICFP): 38:1-38:28, 2017 [ doi ]

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. 49(1): 3:1-3:36, 2016 [ doi ]

Behavioral Types in Programming Languages. Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert , Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, and Nobuko Yoshida. Foundations and Trends in Programming Languages, 3(2-3):95-230, 2016. [ Abstract | BibTeX | pdf | doi ]

Context-free session types. Peter Thiemann, Vasco T. Vasconcelos. ICFP 2016: 462-475 [ doi ]

Typing Liveness in Multiparty Communicating Systems. Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira. COORDINATION 2014: 147-162, 2014 [ doi ]

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, 26(2):206-237, 2016. [ 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 ]
Preliminary 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 Objects Simon J. Gay, Nils Gesbert, António Ravara, and Vasco Thudichum Vasconcelos. Logical Methods in Computer Science 11(4), 2015. [ BibteX | Abstract | pdf ]. Conference version: 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 ]
Proofs and some small corrections, Technical Report TR-2010-308. Department of Computing, University of Glasgow, 2010. [ BibTeX | pdf ]
Extended version:

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 rest and javascript

Statically Checking REST API Consumers. Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos. SEFM 2020: 265-283, 2020 [ pdf | doi ]

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: 428-434, 2019 [ pdf ] | [ doi ]

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. ACM notable article in computing in 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

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. Pr.oc. ACM Program. Lang. 1(OOPSLA): 103:1-103:26, 2017 [ doi ]

Inferring Types for Parallel Programs. Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel. PLACES@ETAPS 2017: 28-36 [ doi ]

Protocol-based verification of message-passing parallel programs. Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida. OOPSLA 2015: 280-298, 2015 [ doi ]

Deductive Verification of Parallel Programs Using Why3. César Santos, Francisco Martins, Vasco Thudichum Vasconcelos. ICE 2015: 128-142, 2015 [ doi ]

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 objects

Dependent Types for Class-based Mutable Objects. Joana Campos, Vasco T. Vasconcelos. ECOOP 2018: 13:1-13:28, 2018 [ pdf | doi | artifact ]

Imperative objects with dependent types. Joana Campos, Vasco T. Vasconcelos. FTfJP@ECOOP 2015: 2:1-2:6 [ pdf ]

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 | pdf ]

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 | pdf ]

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-345. Kindai Kagaku Sha, 1993. In Japanese. [ BibTeX | pdf ]

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 ]

other

Protocol-based Smart Contract Generation. Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos. Financial Cryptography and Data Security, LNCS, volume 13412, 555-582 [ LNCS | arXiv ]

The computational content of atomic polymorphism. Gilda Ferreira, Vasco T. Vasconcelos. Log. J. IGPL 27(5): 625-638, 2019 [ doi ]

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 ]

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

as editor

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. 106: 196-197, 2019 [ doi ]

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017. Vasco T. Vasconcelos, Philipp Haller. EPTCS 246, 2017. [ doi ]

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Simon Gay, Vasco Thudichum Vasconcelos, Philip Wadler, and Nobuko Yoshida. Pages 158--189, volume 7(1), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017. [ pdf | doi ]

Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014). Alastair F. Donaldson and Vasco Thudichum Vasconcelos (Eds.). Volume 4(5) of Journal of Logical and Algebraic Methods in Programming, 2015. [ pdf | doi ]

PLACES 2014 - 7th International Workshop in Programming Language Approaches to Concurrency and Communication-cEntric Software, Post-Proceedings. Alastair F. Donaldson and 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 ]