DBLP | GoogleScholar | ACM | Microsoft | Co-authors (DBLP) | Session types "in A Conversation with Steve Ross-Talbot"
Linearity, Session Types and the Pi Calculus.
Marco Giunti and Vasco T. 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.
Marco Giunti and Vasco T. Vasconcelos. 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 T. Vasconcelos, and Hugo T. Vieira.
In 7th International Symposium on Trustworthy Global
Computing, volume X of LNCS, pages Y-Z. Springer, 2013.
[
Abstract |
BibTeX |
pdf
]
Preliminar version in INForum 2011, Typing Dynamic Roles in Multiparty Interaction
[
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 T. 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 T. 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 T. Vasconcelos. In Linearity'12, volume X of EPTCS, pages A-B. 2012. [ Abstract | BibTeX | pdf ]
Fundamentals of Session Types.
Vasco T. 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 T. 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 T. 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 T. Vasconcelos. In 3rd Inforum, SOFT-PT, 2011. [ Abstract | BibTeX | pdf ]
Channels as Objects in Concurrent Object-Oriented Programming. Joana Campos and Vasco T. 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 T. Vasconcelos, Marco Giunti, Nobuko Yoshida, and Kohei Honda. 2010. [ Abstract | BibTeX | pdf ]
Modular Session Types for Distributed Object-Oriented Programming.
Simon Gay, Vasco T. 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 |
doi
]
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 T. Vasconcelos.
Journal of Functional Programming, 20(1):19-50. Cambridge
University Press, 2010.
[
Abstract |
BibTeX |
pdf |
doi
]
Previous version,
Asynchronous Functional Session Types.
Simon Gay and Vasco T. Vasconcelos.
Technical Report 2007-251. Department of Computing, University of Glasgow, 2007.
[
Abstract |
BibTeX |
pdf
]
Session Types for Linear Multithreaded Functional Programming. Vasco T. 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 T. 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 T. 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 T. 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 T. Vasconcelos, Simon Gay, and António Ravara. Theoretical Computer Science, 368(1-2):64-87, 2006. [ Abstract | BibTeX | pdf ]
Typing the Behavior of Objects and Components using Session
Types.
António Vallecillo, Vasco T. Vasconcelos, and António Ravara.
Fundamenta Informaticae, 73(4):583-598, 2006.
[
Abstract |
BibTeX |
pdf
]
Previous version, Foclasa 2002, 1st International Workshop on
Foundations of Coordination Languages and Software Architectures.
ENTCS, 68(3):439-465, 2003.
[
BibTeX |
pdf
]
Session Types for Functional Multithreading.
Vasco T. 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 T. 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 T. 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 T. Vasconcelos, and Makoto Kubo. In European Symposium on Computing, volume 1381 of LNCS, pages 122-138. Springer, 1998. [ Abstract | BibTeX | pdf ]
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 T. Vasconcelos. Formal Aspects of Computing, X:Y-Z, 2013. [ Abstract | BibTeX | pdf ]
An Algebra of Behavioural Types.
António Ravara, Pedro Resende, and Vasco T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. Vasconcelos. Keio University, 1993. [ Abstract | BibTeX | ps.gz ]
Types for X10 Clocks. Francisco Martins, Vasco T. 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 T. 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 T. 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 T. 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 T. 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 ]
Runtime Verification for Generic Classes with Congu2. Pedro Crispim, Antónia Lopes, and Vasco T. 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 T. 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 T. 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 T. Vasconcelos, Isabel Nunes, Antónia Lopes, and Luís S. Reis.
May 2007.
[
Abstract |
BibTeX |
pdf
]
Runtime Checking Java Code Using ConGu. Vasco T. 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 T. 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 T. 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 T. 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 T. 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 T. Vasconcelos. Presented at the ECOOP'02 Sixth Workshop on Pedagogies and Tools for Learning Object-Oriented Concepts. April 2002. [ Abstract | BibTeX | pdf ]
A Multi-Threaded Asynchronous Language. Hervé Paulino, Pedro Marques, Luís Lopes, Vasco T. 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 T. 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 T. 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 T. 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 T. Vasconcelos. Technical Report DI/FCUL TR-01-5. Department of Computer Science, University of Lisbon. July 2001. [ Abstract | BibTeX | pdf ]
TyCO Gently. Vasco T. 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 T. 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 T. 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 T. 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 T. 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 T. Vasconcelos. Presented at the 5th Mobile Object Systems Workshop (MOS'99). [ Abstract | BibTeX | pdf ]
Processes, Functions, Datatypes. Vasco T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. 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 T. Vasconcelos. PhD thesis, Keio University, 1994. [ Abstract | BibTeX | ps.gz ]
Recursive Types in a Calculus of Objects.
Vasco T. 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 T. 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 T. 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, 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 T. 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 T. Vasconcelos. Keio University, 1993. [ Abstract | BibTeX ]
Towards Trace Semantics for Actor Systems. Vasco T. 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 T. 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 T. Vasconcelos. Master's thesis, Keio University, 1992. [ Abstract | BibTeX | ps.gz ]
Unification of Kinded Infinite Trees. Vasco T. Vasconcelos. Information Processing Letters, 55:323-328. Elsevier, 1995. [ Abstract | BibTeX | ps.gz ]
Truth and Action Osmosis: The TAO Computation Model.
António Porto and Vasco T. 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
]
COORDINATION 2009 - Selected Papers from the Eleventh International Conference on Coordination Models and Languages. John Field, Vasco T. 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 T. 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 T. 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 T. 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 T. 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 T. Vasconcelos (Eds.). Volume 4703 of Lecture Notes in Computer Science. Springer, 2007, ISBN 978-3-540-74406-1. [ BibTeX ]