Voltar aos Detalhes do Artigo Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations Baixar ##common.downloadPdf##