DisCo on Tampereen teknillisessä korkeakoulussa suunniteltu ja kehitetty formaali reaktiivisten rinnakkaisjärjestelmien spesifiointi- ja suunnittelukieli. DisCo on osittain suoritettavissa oleva formalismi, joka mahdollistaa ...