V. Vasconcelos

发表

Core Calculi for Service-Oriented Computing

Rocco De Nicola, Gianluigi Zavattaro, Vasco Thudichum Vasconcelos, 2011, Results of the SENSORIA Project.

Bisimulations in SSCC

F. Martins, V. Vasconcelos, L. Filipe, 2007 .

Fine Grained Multithreading with Process Calculi

Fernando M. A. Silva, Vasco Thudichum Vasconcelos, Luís M. B. Lopes, 2000, IEEE Trans. Computers.

An Abstract Machine for an Object Calculus an Abstract Machine for an Object Calculus

Vasco T. Vasconcelos, V. Vasconcelos, Luı́s Lopes, 1997 .

Controlling Security Policies in a Distributed Environment

F. Martins, V. Vasconcelos, 2004 .

Asynchronous Functional Session Types

Simon Gay, V. Vasconcelos, S. Gay, 2007 .

COORDINATION 2009 - Coordination Models and Languages, 11th International Conference

John Field, Vasco T. Vasconcelos, V. Vasconcelos, 2009 .

Indexed Types in Object-Oriented Programming

V. Vasconcelos, Joana Campos, 2012 .

Errors in the π-Calculus are Undecidable

V. Vasconcelos, 1998 .

Runtime Monitoring of Java Code Using ConGu

V. Vasconcelos, 2007 .

Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

John Field, Vasco T. Vasconcelos, V. Vasconcelos, 2009, COORDINATION.

{ “ nickname ” : “ me ” , " name " : “ John Smith “ , “ email ” : “ jsmith

V. Vasconcelos, Nuno, Martins, 2019 .

Fundamentals of Session Types, Formal Methods for Web Services

Vasco T. Vasconcelos, V. Vasconcelos, 2009 .

A Type Discipline for Message Passing Parallel Programs

Hugo A. López, F. Martins, V. Vasconcelos, 2022, ACM Transactions on Programming Languages and Systems.

1 Deductive Verification of MPI Protocols

Eduardo R. B. Marques, F. Martins, V. Vasconcelos, 2017 .

2 The Finite Differences Algorithm and Common Coding Faults

Eduardo R. B. Marques, F. Martins, V. Vasconcelos, 2017 .

Polymorphic lambda calculus with context-free session types

V. Vasconcelos, Peter Thiemann, Bernardo Almeida, 2021, Inf. Comput..

Theory and Applications of Behavioural Types

V. Vasconcelos, P. Wadler, N. Yoshida, 2017 .

A Virtual Machine for the TyCO Process Calculus

Vasco T. Vasconcelos, Luís Lopes, Fernando Silva, 1999 .

Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software: Preface

Alastair F. Donaldson, Vasco T. Vasconcelos, V. Vasconcelos, 2014 .

Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)

Vasco Thudichum Vasconcelos, Alastair F. Donaldson, V. Vasconcelos, 2015, J. Log. Algebraic Methods Program..

Behavioral Types in Programming Languages

Davide Ancona, Viviana Mascardi, Luca Padovani, 2016, Found. Trends Program. Lang..

Protocol-based verification of message-passing parallel programs

Nobuko Yoshida, Francisco Martins, Vasco Thudichum Vasconcelos, 2015, OOPSLA.

The Different Shades of Infinite Session Types

Simon J. Gay, Vasco T. Vasconcelos, Diogo Poccas, 2022, FoSSaCS.

A Type System for Flexible Role Assignment in Multiparty Communicating Systems

Vasco Thudichum Vasconcelos, Hugo Torres Vieira, Luís Caires, 2012, TGC.

A Multi-threaded Asynchronous Language

Hervé Paulino, Fernando M. A. Silva, Vasco Thudichum Vasconcelos, 2003, PaCT.

A Virtual Machine for a Process Calculus

Fernando M. A. Silva, Vasco Thudichum Vasconcelos, Luís M. B. Lopes, 1999, PPDP.

Secure Information Flow as Typed Process Behaviour

Nobuko Yoshida, Vasco Thudichum Vasconcelos, Kohei Honda, 2000, ESOP.

SafeRESTScript: Statically Checking REST API Consumers pdf

Vasco T. Vasconcelos, Nuno Burnay, Ant'onia Lopes, 2020, ArXiv.

Statically Checking REST API Consumers

Antónia Lopes, Vasco T. Vasconcelos, Nuno Burnay, 2020, SEFM.

Processes, Functions, and Datatypes

Vasco Thudichum Vasconcelos, V. Vasconcelos, 1999, Theory Pract. Object Syst..

A process-calculus approach to typed concurrent objects

Vasco T. Vasconcelos, V. Vasconcelos, 1995 .

Session Types for Functional Multithreading

António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay, 2004, CONCUR.

Typing the Behavior of Objects and Component Using Session Types

Antonio Vallecillo, António Ravara, Vasco Thudichum Vasconcelos, 2003, FOCLASA.

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

Vasco Thudichum Vasconcelos, Kohei Honda, Makoto Kubo, 1998, SecReT@ICALP.

Type-Based Verification of Message-Passing Parallel Programs

Nobuko Yoshida, Francisco Martins, Hugo A. López, 2014 .

Towards deductive verification of MPI programs against session types

Francisco Martins, Vasco Thudichum Vasconcelos, Eduardo R. B. Marques, 2013, PLACES.

Foundations of Session Types and Behavioural Contracts

Ivan Lanese, Emilio Tuosto, Luca Padovani, 2016, ACM Comput. Surv..

Typed Concurrent Objects

Vasco Thudichum Vasconcelos, V. Vasconcelos, 1994, ECOOP.

Compiling Object CalculiLu

V. Vasconcelos, Fernando Silva, Lopes, 1998 .

A Type Discipline for Message Passing Parallel Programs

Hugo A. López, F. Martins, V. Vasconcelos, 2022, ACM Trans. Program. Lang. Syst..

Inferring Types for Parallel Programs

Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel, 2017, PLACES@ETAPS.

Deductive Verification of Parallel Programs Using Why3

Francisco Martins, Vasco Thudichum Vasconcelos, César Santos, 2015, ICE.

Affine Sessions

V. Vasconcelos, D. Mostrous, 2014, COORDINATION.

Verification of MPI Programs Using Session Types

Nobuko Yoshida, Francisco Martins, Vasco Thudichum Vasconcelos, 2012, EuroMPI.

Imperative objects with dependent types

Vasco Thudichum Vasconcelos, Joana Campos, V. Vasconcelos, 2015, FTfJP@ECOOP.

Dependent Types for Class-based Mutable Objects

Vasco Thudichum Vasconcelos, Joana Campos, V. Vasconcelos, 2018, ECOOP.

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi

Rocco De Nicola, Hervé Paulino, Marc Lacoste, 2004, Global Computing.

A Typing System for a Calculus of Objects

Mario Tokoro, Vasco Thudichum Vasconcelos, V. Vasconcelos, 1993, ISOTAS.

Trace semantics for concurrent objects

Vasco Thudichum Vasconcelos, V. Vasconcelos, 1992 .

Higher-order Context-free Session Types in System F

V. Vasconcelos, Diogo Poças, Andreia Mordido, 2022, PLACES@ETAPS.

Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'14)

Alastair F. Donaldson, Vasco T. Vasconcelos, V. Vasconcelos, 2014, 1406.3313.

Protocol-based Smart Contract Generation pdf

Vasco T. Vasconcelos, Andreia Mordido, Afonso Falcao, 2021, Financial Cryptography Workshops.

Session-Based Compilation Framework for Multicore Programming

Nobuko Yoshida, Hervé Paulino, Vasco Thudichum Vasconcelos, 2009, FMCO.

Label-dependent session types

Peter Thiemann, Vasco T. Vasconcelos, V. Vasconcelos, 2019, Proc. ACM Program. Lang..

Gradual session types pdf

Peter Thiemann, Philip Wadler, Vasco Thudichum Vasconcelos, 2017, Journal of Functional Programming.

Linear type theory for asynchronous session types

Vasco Thudichum Vasconcelos, Simon J. Gay, V. Vasconcelos, 2009, Journal of Functional Programming.

Fundamentals of session types

Vasco Thudichum Vasconcelos, V. Vasconcelos, 2009, Inf. Comput..

Type checking a multithreaded functional language with session types

António Ravara, Vasco Thudichum Vasconcelos, Simon J. Gay, 2006, Theor. Comput. Sci..

Context-free session types

Peter Thiemann, Vasco Thudichum Vasconcelos, V. Vasconcelos, 2016, ICFP.

Runtime Verification for Generic Classes with ConGu 2

Vasco Thudichum Vasconcelos, Antónia Lopes, Pedro Crispim, 2010, SBMF.

Communication Errors in the pi-Calculus are Undecidable

V. Vasconcelos, A. Ravara, 1999, Inf. Process. Lett..

Errors in the π-Calculus are Undecidable

V. Vasconcelos, 1998 .

Congu, Checking Java Classes Against Property-Driven Algebraic Specifications

João Abreu, Antónia Lopes, Vasco T. Vasconcelos, 2007 .

Typing Liveness in Multiparty Communicating Systems

Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira, 2014, COORDINATION.

System $F^\mu_\omega$ with Context-free Session Types

V. Vasconcelos, Diogo Poccas, Andreia Mordido, 2023, 2301.08659.

Lexically scoped distribution: what you see is what you get

António Ravara, Vasco Thudichum Vasconcelos, Luís M. B. Lopes, 2003, FGC.

A Lexically Scoped Distributed $\pi$-Calculus

António Ravara, Luís M. B. Lopes, Vasco T. Vasconcelos, 2002 .

Principal Typing-schemes in a Polyadic -calculus

V. Vasconcelos, Kohei Honda, 1992 .

Principal Typing Schemes in a Polyadic pi-Calculus

Kohei Honda, Vasco T. Vasconcelos, V. Vasconcelos, 1993, CONCUR.

Recursive Types in a Calculus of Objects

Vasco T. Vasconcelos, V. Vasconcelos, 1993 .

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Vasco T. Vasconcelos, V. Vasconcelos, 2008 .

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited

V. Vasconcelos, N. Yoshida, 1998 .

Subtyping Context-Free Session Types

V. Vasconcelos, Andreia Mordido, G. Silva, 2023, CONCUR.

Deciding the Bisimilarity of Context-Free Session Types

Vasco Thudichum Vasconcelos, Bernardo Almeida, Andreia Mordido, 2020, TACAS.

Preface

V. Vasconcelos, N. Yoshida, V. T. Vasconcelos, 2012, Hyperfine Interactions.

The computational content of atomic polymorphism

Gilda Ferreira, Vasco T. Vasconcelos, V. Vasconcelos, 2018, Log. J. IGPL.

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes

Laura Bocchi, Nobuko Yoshida, Vasco Thudichum Vasconcelos, 2019, ESOP.

Session Types for Inter-Process Communication

António Ravara, Vasco T. Vasconcelos, V. Vasconcelos, 2003 .

LANGUAGE PRIMITIVES AND TYPE DISCIPLINE FOR STRUCTURED COMMUNICATION-BASED PROGRAMMING

V. Vasconcelos, Makoto Kubo, 1998 .

Traces Semantics for Actor Systems

Mario Tokoro, Vasco Thudichum Vasconcelos, V. Vasconcelos, 1991, Object-Based Concurrent Computing.

SCC: A Service Centered Calculus

Roberto Bruni, Ivan Lanese, Rocco De Nicola, 2006, WS-FM.