Pedro Joao Valente Dias Guerreiro


AuthID: R-000-ES6

Publicações a aguardar confirmação

11
TÍTULO: Relational semantics of strongly communicating sequential processes
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1981, FONTE: Formalization of Programming Concepts - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
12
TÍTULO: A relational model for non-deterministic programs and predicate transformers
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1980, FONTE: Lecture Notes in Computer Science - International Symposium on Programming
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 2 de 2. Total de resultados: 12.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service