WiCcA : LTS Generation Tool for Wire Calculus.

Jennifer Lantair, Pawel Sobocinski

Browse the full CALCO paper archive.