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: '9177448c3eec9fd4',cH: 'RSwLhuamcQ17aBZQ7aKsLyn_3YLemm6Pq5Sp2I11Tcw-1740482024-1.2.1.1-tv4fuZThj.wRT9a2UZEhgEKJwj_.yMXkTPZRhUJcemBqYE9RgZFnpmzklf28kHLw',cUPMDTk: "\/search?q=Algebraic%20Specification&__cf_chl_tk=EBe3m38uauR7tc3ytD7eu.00AMdC0UGtUy0XM_Rf5nc-1740482024-1.0.1.1-YBvwMWPy94fKaO69d_Kr9C5bXh44G7NAjnp4l2YVooY",cFPWv: 'b',cITimeS: '1740482024',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/search?q=Algebraic%20Specification&__cf_chl_f_tk=EBe3m38uauR7tc3ytD7eu.00AMdC0UGtUy0XM_Rf5nc-1740482024-1.0.1.1-YBvwMWPy94fKaO69d_Kr9C5bXh44G7NAjnp4l2YVooY",md: "DJfhsUOKobnLGb.hrlt_QSwZc2QQ.cQ_1yZi.Gnvk1c-1740482024-1.2.1.1-YYhoM6abxyK9pwLkSou9Z.E__HVE5veX4SzqN4oI7qLGUugAWCUvJJheQ2vhDxcXs1gh3PitVFa7XX3RPZ06RnBQNgjaDerQcl_IFqsMC08qdFTdEOz.ZopI0qRtdUWwCHeVwykZYNYNTTlZWansgQ6LrXo7ft4NuOu2c4ldO5Oftt6AKWFr8tJ_N8Y6d8.W2wA9XpsPq8I8R2SfeAm6hr3gcb_cbcACfkl2Cxo51IQhekQ3LM7vxCcC9xJ_mswCb3SPkNVBhWYDwH6GrV6emqz9Su_qkpbKj4cvhw9uyaciB4.8IrDbc5dqSf98lDY41SPZlFi.FIrm1rvDImkABABG7Uoh8xZjEXp9XOYimfetsmVGmh1KCAjicKD.HOfBYXPCF5Or_rkas8Y79y.SYQMd_yw_ldnpQlhk75TceyBL_ICTa2q46hLMWdsI5HhmFk0WbCaD29MrGE3.IeaXrR_IZ7ONqcH3EI0YpTbQQMBrDelN6b6l11eLk0ItbArZzUfo.iFYIw8a3yHg.iaxgL7m94VAo4qQr9Tnp1a3B3qXJbuuej98.pGZI_tMLFQw54CknwBEtspaGzFZyHmxdZshGlzqWLiS7ki.r6y4Z28GSeLIyqwIjgJHMN7JJE3GPD93nii0my9k8LJASmxbqt3DnaB.lLmZ92ZGcPI62j4i2KsiJEF3lgHOeWhyRTKBh1oKmQQDcS9smxsWuiGv0nWP1Vi81sO8pqpyzIT3Ctp.PIs71xhZ69A6YSFbHUSUA9RL.sR9thQ7NvolTY1xrK9fX0pu6CK5yATeUQ.D.n7ob1SRHZuEIoJRjFpAYUG96xIWp9ktyc9VFHOhPL9qli4DcJUJgDOChpQ6PRKIS88gDWXCiMXL7ckIkQ8w7D7mP4_BkP.z9YLis3LTrOgkpl_SAibPUQqGT0HLl0A.3JI.V7qsPK5B7YnSVa.OvYtFnrtib4jQBH0NCum_0hNwT6FKbYB5dAQMDCD3d.wbjWLGqWXWAqfDUiyELK5mJR.zejlsNK.UFdWdzdtq494awIVCpgChe0NBao9ZxPVYYuGI.DUt523DgIPOoa1iAIIfW9srzgo53Z_GBbAxGKn.9LFYw.1pp1dAtPExs2wlYyn4Dj.rNKLBm9JxGZKrTjapTcMf6dZR1ILiUn3Ys2WqVY0WJK1BpSLk9i9O1mh0CzPWXmRMUqjo6RqTNg_Pk1hAKmJf_ynRXtIg06Fu3SfaOCtnFkiGZTqXMOIv0DtcEQk4t.dUOxX8XCEbhH3l2HWR.cRJobgugL3pi.KCnHX2vdP_Ws1N9Mt0JfkWxmmg0Io.1DJRmR68Vr_cUsFSpk7TGkLoKIA8HpOMkeKYUhlB5MyGTTTh2Ngs0JYQF7tVjDZxF4Q_6sBdsg3kYcfrV0eCUZVczpALidVcHNILAm1EKxY1hfuONGr1Y_AhzNtW0qvGHwo7C3hItf6Ti6zcO5lEK9YrCaM_EC4yf7em66wbSBPKVLAQO2CkmxWQJuJGPUaDS7NDWiIqBYMm7xE4Qay5l_YrHt4rdq4r9zZ0UtnCgXzYr4qNCPRXXns2qGIah_PrNxQfc3gVWY8WpZpcOa21bwC7bqO7aIc2Nvwr2JCechUJHpcTFYkfl555je1cbXC0aQtGZc5qe87WyUbQ9F88PMoADhVpI7tQk7hB5sMHbSP_Sqz6fyWzsKqN5A6ZSkgU23gIpAx2oHpSARkN15KkgHa3cmgqrdiLxVYsZHLaOZdehwSZAWJ3xrBRBMKgdalXfhzObanhZYSfuJmKuBCujUUwTkGPY1xpQ.8Ea.L_X5xkY2CKXpLLvQ7r3YSwTwpYNsosApJJu4Pvk3JlyvpfagaLx5Sr6mhTKCmrOQzWlUfTBdUkaVKMEoN9PfUACGUz0g56Xa8l0vFST42V0Xsi7.s8jtM3Dranovj9qeJsb4etkhC3F6DF1fTpuXGjkMg",mdrd: "TPYP65PjZ8y87GwCg62QZzvK027.1dQac24iClRNitE-1740482024-1.2.1.1-D8_c1XJOh.God6us_4ftagbpqdZYswp1X9.kpBGA1ryT9vJB6LYEBJmokekluYdevLCJBtTl_PmuUZKBhwibZUsVX_IWQ3vlxufFyBTdmkqlfUSg_dTc0kjdNkwJcnjkxfvHlZuxJGjmP2qInu9P1.zsLpIiSzh.lH37qbT9hdQAxkfT8eOwQYQbvCMEbrwLOJDo2ZLWMkmXX5xVi14RP1NVDyavIZupclX.u.6XckmK.W0ZxfxS5vLt4HU45GvTAm9IdleC7D8IhHXtHd82kwywCjy3iiXKNcfXf.tcUwzjRkIwkewVIA3KRfHx.RoXhVUyiy.nrO8Fep4MqsW4ZqUxid4u.aoHEgqFoIMYe9ASri5qM4R5chB41CltFH8yPKWmeP10sLHD3rvJaG9Rv83bqTaYtBgrlx_EIMPvXaYkAxqxkG5VAHVJb.hP6mN6aFOf640.jZXbHpKM7w_QxeEy7Pjys7fjBNXliNbHemMLTxOFufpLBlXHYLcEk_swzlPmwBpBWBTpEfUUj0KFCGMGl6Pkm4ZHe_XX_ZaoWUVQh3OdzRT.jY4mPSNNQlyHp57Xhwpo4a1za_V8EZ8wL6_dRJagA_dx.3c4VUi2aLfQtEobpzZREuwihlT0Z.LiMOnJNDeSZrxlZk53UaW6xa_JnNuKv5EDjfgesWuqR1bxA0wuQg.zXBzXherVy3A0SDnFZtBXC8950b6w1Y_YOXG1ISG4CXqClOIIcrRrhESZoGMAyeiyGY2d3sQgKnCowkVg1PbICMSlS3bZly4H0cuMBO8ncu0PZnH9G6XqEH8XMI_7PYSB2iG.HBTc0kUBoYpOVTr7yQYeCSSwM7UJn5uyayuBBQNQMuJ3ZRaPQC7lRTBUn0LAQ.uME6do7JNZ9Z_IjFkvC6d_vEftID1wSIGFjw.yrqPsyEdOoFhZ4tmiF6xJ5wlR_bbz1hQRRiYHRYPccDJYLpqGQ9LZt_mwFb68p_P17O9v4fpto5_FrBdOMU8LuXIPdIaLkZD5lCrtIGSnhg5LKrG83Pmbrq1jcS04ZcmPsX9MUPmYR0epAZaxi_qXHmPm14ynTgKCWJMzOpXs.N2O0quTeOmaIPKy9jdMNdMJZgd6sw9XLIM8n4c4a5ww2RAEi1gZXoxR9TMNeZ4CkeGSN3Fry1BTQ1Pl.Qrb9OGgwTxW3XAvi_PyV0j7kEE.ycLiEm07PcWMrqs_xwQhdZ62vGf8TROAlK_rvNlUMpQzNPkxj8vz0PldHa.W_joPeHrsku6IEOqQf8oyFWYeElaS51x0s5rZpEgbNnnOetXgBsxIYpUUwtXz3TnpXIdqt18pZtp6IBioBDURYQTiA.id9DWE0feq6cSrqXexBHn8Evn8nFOFlrkZp3w7xJFSHN3C9mzxlfNkEsoW5odBoTegu2aXWKGmjuA1QK8Yca61.fAsQQ4w4AaJqArdJrvps7IiCEvftKA1GNF.QN4np26eBxDQqpN8Fv6qXv5CtFWyS5Ev_u4mSUDWzvc_DQRBGn1C30fDVSisn1cWdOmnZYQNxgoWWdsLU9FHsYJzmjFCdTitp6nt7768zAnl4xx82SN97t.pTCHWhGyCIU.dLHE.YFtrF26Eot3anWv2avhyUhBJ21UDfXGt4zztL6IPwMl1KuPZh0zJPwGifrgE7TQdvdLOUk3MrVMKhVpsfAaxGFcK1bX5AeXB4GXtprQvsKOOaYuxwPVT5jdCrnWfPZmcj0C_Kk4CK12GTMVDvNHLARuUmCTx3v2Jf6nO6LB.UInzxqJrmGKI4VBivD7HbV2xHv6r2K4v2BmEeuvV3CmRmGiCFmcLy7qAkYiSPrkd687ZxtQQW99lmUzYTAQIEgilG03xcMwiCosDS1Qsda.euxo4mSuzV636vIcU6zgZs9oCeMFuRceicmE72slqLyyT8ViT6t7_3ff3a6C8NpJ9ib6ii0Hw8mbCRGHsGTXlXUFiedjv8X4vSscKCRygdYUpJDeL_wWn35fsvw"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9177448c3eec9fd4';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=Algebraic%20Specification&__cf_chl_rt_tk=EBe3m38uauR7tc3ytD7eu.00AMdC0UGtUy0XM_Rf5nc-1740482024-1.0.1.1-YBvwMWPy94fKaO69d_Kr9C5bXh44G7NAjnp4l2YVooY" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>