Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. - Susumu Kiyamura; Yoshiaki Takata; Hiroyuki Seki (PPAM, 2003)