Pedro Joao Valente Dias Guerreiro
AuthID: R-000-ES6
11
TITLE: Implementations of nondeterministic programs
AUTHORS: Guerreiro, P;
PUBLISHED: 1984, SOURCE: 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
AUTHORS: Guerreiro, P;
PUBLISHED: 1984, SOURCE: 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
TITLE: Another characterization of weakest preconditions
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1982, SOURCE: Lecture Notes in Computer Science - International Symposium on Programming
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1982, SOURCE: Lecture Notes in Computer Science - International Symposium on Programming
13
TITLE: Relational semantics of strongly communicating sequential processes
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1981, SOURCE: Formalization of Programming Concepts - Lecture Notes in Computer Science
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1981, SOURCE: Formalization of Programming Concepts - Lecture Notes in Computer Science
14
TITLE: A relational model for non-deterministic programs and predicate transformers
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1980, SOURCE: Lecture Notes in Computer Science - International Symposium on Programming
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1980, SOURCE: Lecture Notes in Computer Science - International Symposium on Programming
