Resultados da busca por Autor

1

The call-by-value $\lambda$-calculus, the SECD machine, and the $\pi$-calculus

por Vasconcelos, Vasco T.

Publicado em 2000

Acessar documento

Relatório

2

Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems

por Vasconcelos, Vasco T.

Publicado em 2006

Acessar documento

Relatório

3

Core-TyCO, The Language Definition, Version 0.1

por Vasconcelos, Vasco T.

Publicado em 1998

Acessar documento

Relatório

4

TyCO Gently

por Vasconcelos, Vasco T.

Publicado em 2001

Acessar documento

Relatório

5

Type-Based Verification of Message-Passing Parallel Programs

por Vasconcelos, Vasco T.

Publicado em 2014

Acessar documento

Relatório

6

Session Types for Functional Multithreading

por Vasconcelos, Vasco T.

Publicado em 2005

Acessar documento

Relatório

7

Core-TyCO: Appendix to the Language Definition, yielding Version 0.2

por Vasconcelos, Vasco T.

Publicado em 2001

Acessar documento

Relatório

8

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

por Vasconcelos, Vasco T.

Publicado em 2008

Acessar documento

Livro

9

TyCO + Linear channels

por Martins, Francisco

Publicado em 2001

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório

10

Controlling Security Policies in a Distributed Environment

por Martins, Francisco

Publicado em 2004

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório

11

The computational content of atomic polymorphism

por Ferreira, Gilda

Publicado em 2019

Outros Autores: “...Vasconcelos, Vasco T...”
Acessar documento

Artigo

12

Compiling the $\pi$-calculus into a Multithreaded Typed Assembly Language

por Cogumbreiro, Tiago

Publicado em 2008

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório

13

A Lexically Scoped Distributed $\pi$-Calculus

por Ravara, António

Publicado em 2002

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório

14

Disciplining Orchestration and Conversation in Service-Oriented Computing

por Lanese, Ivan

Publicado em 2007

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório

15

Bisimulations in SSCC

por Filipe, Luís Cruz

Publicado em 2007

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório

16

Testing Implementations of Algebraic Specifications with Design-by-Contract Tools

por Nunes, Isabel

Publicado em 2005

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório

17

Congu, Checking Java Classes Against Property-Driven Algebraic Specifications

por Abreu, João

Publicado em 2007

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório

18

Protocol-based verification of MPI programs

por Marques, Eduardo R. B.

Publicado em 2014

Outros Autores: “...Vasconcelos, Vasco T....”
Acessar documento

Relatório