Technical reports

Disclaimer

This directory contains postscript and PDF files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

  1. GORGÔNIO, K. C.; XIA, F. . Modeling and Verifying Asynchronous Communication Mechanisms using Coloured Petri Nets. Newcastle upon Tyne, UK 2008 (Relatório técnico).