Cited By
View all- Abujarad FBonakdarpour BKulkarni S(2009)Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed ProgramsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.14.714(92-106)Online publication date: 15-Dec-2009