Pedro Joao Valente Dias Guerreiro
AuthID: R-000-ES6
11
TÃTULO: Implementations of nondeterministic programs
AUTORES: Guerreiro, P;
PUBLICAÇÃO: 1984, FONTE: 6th International Symposium on Programming, 1984 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 167 LNCS
AUTORES: Guerreiro, P;
PUBLICAÇÃO: 1984, FONTE: 6th International Symposium on Programming, 1984 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 167 LNCS
12
TÃTULO: Another characterization of weakest preconditions
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1982, FONTE: Lecture Notes in Computer Science - International Symposium on Programming
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1982, FONTE: Lecture Notes in Computer Science - International Symposium on Programming
13
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
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1981, FONTE: Formalization of Programming Concepts - Lecture Notes in Computer Science
14
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
AUTORES: Pedro Guerreiro;
PUBLICAÇÃO: 1980, FONTE: Lecture Notes in Computer Science - International Symposium on Programming
