Resultados da busca por Autor

1

A Lexically Scoped Distributed $\pi$-Calculus

por Ravara, António

Publicado em 2002

Acessar documento

Relatório

2

An algebra of behavioural types

por Ravara, António

Publicado em 2012

Acessar documento

Artigo

3

O Marquês Dom Pedro Francisco Ravara. Um Genovês em Lisboa (1672-1717)

por Ravara, António Pinto

Publicado em 1994

Acessar documento

Artigo

4

Elementos poro o estudo do eleitorado português na primeira metade do século XIX — as listas eleitorais da vila do Eixo (1834) e da Ribeira de Santarém (1835)

por Ravara, António Pinto

Publicado em 1991

Acessar documento

Artigo

5

Notas para a história dos partidos políticos em Portugal no período do «Ministério da Regeneração» (1851-1856)

por Ravara, António Pinto

Publicado em 1979

Acessar documento

Artigo

6

Taming stateful computations in Rust with typestates

por Duarte, José

Publicado em 2022

Outros Autores: “...Ravara, António...”
Acessar documento

Artigo

7

Session Types for Functional Multithreading

por Vasconcelos, Vasco T.

Publicado em 2005

Outros Autores: “...Ravara, António...”
Acessar documento

Relatório

8

Disciplining Orchestration and Conversation in Service-Oriented Computing

por Lanese, Ivan

Publicado em 2007

Outros Autores: “...Ravara, António...”
Acessar documento

Relatório

9

A Java typestate checker supporting inheritance

por Bacchiani, Lorenzo

Publicado em 2022

Outros Autores: “...Ravara, António...”
Acessar documento

Artigo

10

Bisimulations in SSCC

por Filipe, Luís Cruz

Publicado em 2007

Outros Autores: “...Ravara, António...”
Acessar documento

Relatório

11

por Paulino, Hervé

Publicado em 2023

Outros Autores: “...Ravara, António...”
Acessar documento

Artigo

Exportar CSV Exportar RIS