Resultados da busca por Autor

1

Flora infestante das culturas de sequeiro no Alentejo

por Vasconcelos, Vasco

Publicado em 2000

Acessar documento

Livro

2

'One more' – notes on politics in Rui Nunes’s work

por Vasconcelos, Vasco

Publicado em 2018

Acessar documento

Artigo

3

Febre postal

por Vasconcelos, Vasco André Ribeiro de

Publicado em 2022

Acessar documento

Dissertação

4

How fast memory decreases for tasks

por Vasconcelos, Vasco Monteiro de Mancelos e

Publicado em 2017

Acessar documento

Dissertação

5

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

por Vasconcelos, Vasco T.

Publicado em 2000

Acessar documento

Relatório

6

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

7

Core-TyCO, The Language Definition, Version 0.1

por Vasconcelos, Vasco T.

Publicado em 1998

Acessar documento

Relatório

8

TyCO Gently

por Vasconcelos, Vasco T.

Publicado em 2001

Acessar documento

Relatório

9

Type-Based Verification of Message-Passing Parallel Programs

por Vasconcelos, Vasco T.

Publicado em 2014

Acessar documento

Relatório

10

Música, fatalmente : referências musicais na poesia de Manuel Freitas

por Vasconcelos, Vasco André Ribeiro de

Publicado em 2010

Acessar documento

Dissertação

11

Session Types for Functional Multithreading

por Vasconcelos, Vasco T.

Publicado em 2005

Acessar documento

Relatório

12

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

por Vasconcelos, Vasco T.

Publicado em 2001

Acessar documento

Relatório

13

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

14

TyCO + Linear channels

por Martins, Francisco

Publicado em 2001

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

Relatório

15

Controlling Security Policies in a Distributed Environment

por Martins, Francisco

Publicado em 2004

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

Relatório

16

The computational content of atomic polymorphism

por Ferreira, Gilda

Publicado em 2019

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

Artigo

17

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

18

An algebra of behavioural types

por Ravara, António

Publicado em 2012

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

Artigo

19

A Lexically Scoped Distributed $\pi$-Calculus

por Ravara, António

Publicado em 2002

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

Relatório

20

Materiais para o Fim do Mundo 2

por Gomes, Miguel Ramalhete

Publicado em 2015

Outros Autores: “...Vasconcelos, Vasco André Ribeiro de...”
Acessar documento

Livro