Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition.

Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki

Browse the full PPAM paper archive.