本研究は非同期システム向けの従来型プロセス代数からどのように進化しましたか？