Abstracting and Counting Synchronizing Processes.

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng

Browse the full VMCAI paper archive.