Baeten, J.C.M.2019-08-062024-04-262019-08-062024-04-2619900 521 60750 7https://drs.ess.gov.et/handle/12345678/77768enApplications of Process AlgebraBook