publicações selecionadas Structural Methods for the Synthesis of Well-formed Concurrent Specificantions
