Pedro Joao Valente Dias Guerreiro


AuthID: R-000-ES6

Publications Awaiting Confirmation

11
TITLE: Relational semantics of strongly communicating sequential processes
AUTHORS: Pedro Guerreiro;
PUBLISHED: 1981, SOURCE: Formalization of Programming Concepts - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
12
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
INDEXED IN: CrossRef
IN MY: ORCID
Page 2 of 2. Total results: 12.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service