On the Undecidability of Deadlock Detection in Families of Nets.

Anne-Ccile Fabret, Antoine Petit

Browse the full STACS paper archive.