CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '9177466058c981ae',cH: 'GB5i0uBDRODCW_12bEPj7S1Dd9NbWCjydIe0blukObA-1740482099-1.2.1.1-htRIZZWfnofI9ceJyI3hYbuhM72C7UIZcm6516W96lrnhUjGN6dPqoyIYU9XZ3Hf',cUPMDTk: "\/search?q=Process%20Algebra&__cf_chl_tk=AVsCF1hOk2AR32JNsEMVMpC7GCCVIYcLopZtg12ED54-1740482099-1.0.1.1-JqMFsrQTBKpxoYF_.BEim9aV7h2ZYodIcYYz.vMIhss",cFPWv: 'b',cITimeS: '1740482099',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/search?q=Process%20Algebra&__cf_chl_f_tk=AVsCF1hOk2AR32JNsEMVMpC7GCCVIYcLopZtg12ED54-1740482099-1.0.1.1-JqMFsrQTBKpxoYF_.BEim9aV7h2ZYodIcYYz.vMIhss",md: "OR6ePf.d15.IxtYt_65cvH.h660g.KREAutCiyhT.jg-1740482099-1.2.1.1-9gi52Wb87ynZY5j.DUi.HkTjGC5lS8xJdSvChRIuOl4ueZ_Y_nrb0eLFa7n5Mq8QJEhHvjNoHApJnVePuzh4NpCwS066K8NZ1fdtCdTtifbBiNlfT0UvJE0mOXLIs6f6eg2yC64tFnLvetjpVh2ziGdSkql.N3wbm4QTWwmp60vekGaj4Cd4xklTsbdnHlIlsXRWkeiiquStYGBAS.AL1xkDzAFbBhhDkh9wGR6.qiSuh.fPiV4Iot6XuV5EBYSZkSn_EuWOW9XHWrV7OAebHvyrRdyI1MDudMWKeE8mhs5iWJlAqjmGzTX2A8MmRI.Jug_dAOloLzQqEoW0gtTItKulbZDtPB0Wnl1Nvdq42zuKrz7DPbkMqGyecA9Ifgn_xF2boUovifO8E3bRx.dc58FYowz8ekD84_VB2XlTOos9UgFkBfS.4r4PBblzhbu2MKOZGHLZNH.eZ3plMbBWr0QIqVeqK6v3ACk8hqxDseZiBBSmrMd9N5kTKl4QgT6OHJvG9LsG4GefFuTDMKNzos1FELtAfHOTrpQmbX4kAHVm592_UCcS3Rt.cZpP3s2qPfx.bo8S2irth6MvS2soBSOjZURv4anxcoDcWhWq3R01tYrkZCudiytgNNFJzRFhij63M_bcbiccHTbYb6nUepwoJRA8.jYjOJZf90v3sW_6sdefrVloSBcR06u7uo5VixJCG_PfmEv5qbKdyIxF6AkCf8iwBWBseoQc8NeMesRZSVw64NBFFCHbZoZqJnylKgMG0ARzaYtrOoitEpmZfkc3TJhvu5qZ_czYoYYcet.un1juGaF_kGC_epr6D0yDqfhHdMtsdJ97b6EZtnq5Rb1bTWPoOEZpo7wIHkAdIBH2IwCQq6.XiLnfgjJKnuBCM7JFPAXNeFYfF0Et.eb8LGFW7hTdZ7y53gu6DJZ5kkp_aX0zObCaiqNoRDClK7Gfi2Ju5myw4uJAqcIqGMCHAX2tQDm4RRJtqAwg9ROTpPx.I_eDCSJLObjwI3KiG_VWdNCQez0xJjD3GIFkqf4xIvRiREudsbHR685P1t2THPEmwdAN7.YnjeSVhTShf0SEgBuu1ylWLfqwgjDc7mhIlnuJqZTrvCTy2XF5JexDTfYU9q199z_z6N6_AB476HENUG1u9ltg7posHTSsqwnLxzz4oA03eAbDSo3DtQ1CAJ8Eq5O3J7q8qOFAQxedbBBOcAriJ9Do.oQ2wh64U2FHvdkCGs0TYPpDSYsq7fH_XtTJgC867WMphHSQ9oUe_MbFkvn.6_eZc564YKf1NuGWsdRK0LIeM7nmV_SyOUjoGkkP.7udbcG..fQp_7.4.5WtCC3d_TDORXFRfjLA1Uuoe9pWTsYBAe2UmslYdHoFv2Um9SqjjU2ONe58NECJE_6tE6d8evibBz9H4IlecQUbiAYgSmYv3Cd2V0BEIilMg99EJliTCBsVlzX0_c891vBcFO18hrtNz.vzQ5CUsihNA54ZMfCRV8qcBDLtyXdam2_6Zs1N0Drluej36tFwb7te5zkuClYTSlRxBmbKpxuy1zcCdu7vWLM3zCtpBHAObF3hnTqXE3P.WvikeC85yhd.WM7eJnR4Ifhl5JUxGu99Y4b71Yhqo_oFFWhJzShJUnZyNFnQOs9BGGxIjdboSVrOOwsLvdlrgDr8WO5FP6ZxDDIDxEjDo8mVc8Pen0.ClSgNBxOsPywQt69Nw64xwLW42GuSR7fHVpL5TULp7HjDY44iClW85iqgF_CblC4vEusEit5nI2WklmgRIxMSmq.6__YI9uRogxNWVFCcadPtbja5_R6msCw9EHt66iqivfn2YwW.XxDO3mkHISSPinWEmAvY2yggdn1u6orlYu9NKGbTlRsVjyvAKn.Tlkp9eirmFmo43wvQifodweqmphEtBHYSnjnMf5u16WuSC0Xmvg",mdrd: "8Ytt_dfwVsk7J_rad3_Obu9FVxNbLOC5QOI7W6o8n8U-1740482099-1.2.1.1-8bnLF.CyPRl873zvNiUSWks8QpYatchsL6LhUH.f3qeJnmUgUJcIP.BCX2Ih.sbYcQG4Xp8_3vnT2WH1lCoCgdH3QLAfxg1aqzEro.tY6IHL4C0xLwSizg4faSus0WAgvdkMOYuj07OpKIO6Y8iUlPkiWitb4ukSywZY2.u82wfRTeMoy_m69PCGBzF1i7.ixJ8qT2pa9mCBxj.1GausC8KVggLRqdPJ_xLRNi0JaDBwAPyH05qH9Ut9vECNQ98JJWeX6PT4NyOHYVGdfBGCdXqjcufKjGROguaxctpBwGRLogkRaL1h3hzjjkudIxBa7FXKmrO2D4wNnMqiwblrbB.Zc7cgVjp68l0dqnZflFom7UNbL64_SJUlAh6802XKZue8HjvBxECxyk3BmiN1tcX8jkmDk6fvMebv4FABPXeYwZxfECKKB6zB4SS4tQA_hDAT3wOyo4w5NJuEExxcfnt22BW3AHphIYYSnDOd2tfbz8inB5ncMD7xjsndOdjN7T3MPFL8CygX.gY0aXN1K_yyzcX7IIwC3_2CSnaeoyuFhgMCwjVRs5fztZDvhXnkhPYe.O6ingcf_CHngb0XAUKnNnq4r_GTUr6ZSCV8.crYthlgh23_nGi4GqisqIQipUdLHYu8tH3P4KdH6qx9owmSfe877BMlH_L5ol0kdvOahWKoeuAfNBeS8YP6ckMoFd4ggmEWqqhkPYeO0G_IA4Pu1uwskV1HUdQ5x654SAMunyUKcK1p2YqTycaFpTkWhfE1IEewmOwu62YrWlmUObOn4jJPh_pXOZWf3hrVH8w4T6VA3g0M4nstWMgRh_4PLBqIloSN5Xok2Q4HQbONJ6RIFlWn9x9CwP61iFcolD3yMT3LHshouEs0dUHC.JGdy9hOADWVBRy8BWLdNlCofV42rMYYEmKRUZuzzMQvyFiKHJ5S88WFuh05r_yajZPzb31TYvtPxXeW5jpwwKkWWH2qYjwRBd3DNW3eb6FWsclm9iN2Z3QUlkMkA9hCUuMJ6gSz8wjLQ81vpzUH.kmfZerMoWHjJkVzscT2eMH_vhL3RndLTW4eL_tUB0CxtPrCwIg8N7lyYIDdqPcrKjKQpbBJBrYpwyYCr6pXhuyO3tH6Bd1dzKLlQLoGybIV8SLP7m2LexpJZVXoqVaMRGQ4yFwiMXaRSG8ZAaEMqwWs7hETo7JnU8i3MpZw55qrgfpPw.LT5SM3o23zcxM.ZImxNDZ_rdf5SjMgdVnxoIzEFW0fcnqS5OufVLbO.0U8JcheWorzlVUGjXKk0es70k03vLD2.Iq9Noym0fDS.ZjycG6Lkl3htu4XdWuUUQPV9u4SI1ArHZEe02UkW7fGBEVXGPqCkeq6qweHecxTsgkQs4_i3tRiyqmaV6I4ZSU37A5agKNzsqXBbpYr75dH95c2Z6aVlRcDKQI_f44wA7BrSQMNQ37.VcBKWpZ93bQhO.f7ok2LBYyHHIuubU97nV9Rw0_y3q92bImlhKhiXZdO0wrN_5pxiAAsBaEY0_7ZhArGqTcR49mMz3aGV9ZvyNc99fIb9yBzaFSZGc9tV__wcW9z_DtwCUP2g2Pzh85AdJSL2kd0NT82tKGG7jfFO.BCmJ9HivrmlzZjN7o6OSL83QBP757bWmdUnbIWdKX2A0FtDp_uz3vNXUHFzpjfizxO8rpITbEhM91ZMgZxB8RXVEtcXXPQuYIjqBFuJdcRFd6jdo5H.YYaGDwsLYZYZ3DCKn99FLJjAkN4Ctst40VPd1U682QfAozv3feaDpkgpElgP2ilL9mDuV.VcAIgGw8TJ_W35IRrTp.pW4faFfUqlrUTL2gZ.uFROGsE8Z63te3xQES.RXKnwJz92y_J3j3PiLf.fjZfpWNqm8Jk2roHFxjxUSpGwompg9zg_k1gaZBtkddYH6ZJOZ1jvM7gTEAtjapTzUMqSaOJtg7Y6xwjcZLoTeFB8eamRJp2Nq1vg0aMF4.HVbm2qpi1zbWT7bHVKg"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9177466058c981ae';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/search?q=Process%20Algebra&__cf_chl_rt_tk=AVsCF1hOk2AR32JNsEMVMpC7GCCVIYcLopZtg12ED54-1740482099-1.0.1.1-JqMFsrQTBKpxoYF_.BEim9aV7h2ZYodIcYYz.vMIhss" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>