publicações Correctness Proofs of Compilers and Debuggers: an Approach Based on Relational Semantics Documento On the Distribution of Control in Asynchronous Processor Architectures Documento Versatile Communication Cost Modelling for Multicomputer Task Scheduling Heuristics Documento