Counting dynamically synchronizing processes

Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng. Counting dynamically synchronizing processes. STTT, 18(5):517-534, 2016. [doi]

Authors

Zeinab Ganjei

This author has not been identified. Look up 'Zeinab Ganjei' in Google

Ahmed Rezine

This author has not been identified. Look up 'Ahmed Rezine' in Google

Petru Eles

This author has not been identified. Look up 'Petru Eles' in Google

Zebo Peng

This author has not been identified. Look up 'Zebo Peng' in Google