{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T21:24:25Z","timestamp":1730237065436,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10,25]]},"DOI":"10.1109\/iccta35431.2014.9521621","type":"proceedings-article","created":{"date-parts":[[2021,8,27]],"date-time":"2021-08-27T20:37:02Z","timestamp":1630096622000},"page":"40-49","source":"Crossref","is-referenced-by-count":0,"title":["Process Algebras, Reasoning, And Validation"],"prefix":"10.1109","author":[{"given":"Nabil","family":"Hassan","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"502","article-title":"Real Time Behavior of Asynchronous Agents","author":"yi","year":"1990","journal-title":"proceedings of CONCUR’90 number 458 in LNCS"},{"year":"2007","author":"fokkink","journal-title":"Introduction to Process Algebra","key":"ref38"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/5.24143"},{"key":"ref32","first-page":"951","article-title":"Ants and Agents: A Process Algebra Approach to Modeling Ants Colony Behavior","author":"stumper","year":"2001","journal-title":"Bulletin of mathematical biology 63"},{"year":"2000","author":"sumpter","journal-title":"From Insect to Society An Agent-Based Investigation of Honey Bee Colonies","key":"ref31"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref37","first-page":"336","article-title":"Bounded Non-determinism and the Approximation Induction Principle in Process Algebra","volume":"247","author":"van glabbeek","year":"1987","journal-title":"Proceedings 4th Symposium on Theoretical Aspects of Computer Science (STACS’87)"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1007\/BF01211867"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1007\/BF02460691"},{"key":"ref34","first-page":"227","article-title":"Describing Social Insect Behaviour Using Process Algebra","author":"tofts","year":"1991","journal-title":"Trans Soc Computer Simulation"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/242223.242252"},{"year":"2003","author":"cuijpers","journal-title":"Hybrid Process Algebra","key":"ref11"},{"year":"2001","author":"grimmett","journal-title":"Probability and Random Processes","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/3-540-10003-2_79"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1017\/CBO9780511569951"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/363235.363259"},{"key":"ref16","volume":"21","author":"hoare","year":"1974","journal-title":"Monitors an Operating System Structuring Concept"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/359576.359585"},{"key":"ref18","first-page":"229","author":"hoare","year":"1980","journal-title":"A Model for Communicating Sequential Processes"},{"year":"1985","author":"hoare","journal-title":"Communicating Sequential Processes","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/BFb0039073"},{"key":"ref4","article-title":"Programming Languages and Their Definitions","author":"beki?","year":"1984","journal-title":"Number 177 in LNCS"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"ref3","article-title":"Towards a Mathematical Theory of Processes","author":"beki?","year":"1971","journal-title":"Technical report TR 25 125 IBM laboratory Vienna"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/3-540-13345-3_7"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/BFb0017309"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/S0019-9958(84)80025-X"},{"key":"ref8","article-title":"Process Algebra with Recursive Operations","author":"bergstra","year":"2000","journal-title":"Handbook of Process Algebra"},{"key":"ref7","first-page":"425","article-title":"The Foundations of Esterel","author":"berry","year":"2000","journal-title":"Foundations of Computing Series"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1017\/CBO9780511624193"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/828.833"},{"year":"1988","author":"arbib","journal-title":"An Introduction to Formal Language Theory","key":"ref1"},{"key":"ref20","article-title":"Synchronized and Asynchronous Algorithms","author":"kung","year":"1976","journal-title":"published in algorithms and complexity"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1016\/S0049-237X(08)71948-7"},{"year":"1996","author":"loeckx","journal-title":"Specification of Abstract Data Types","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/3-540-10235-3"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/3-540-08921-7_57"},{"year":"1989","author":"milner","journal-title":"Communication and Concurrency","key":"ref26"},{"key":"ref25","article-title":"A Calculus of Communicating Systems","author":"milner","year":"1983","journal-title":"Number 92 in Lecture Notes in Computer Science"}],"event":{"name":"2014 24th International Conference on Computer Theory and Applications (ICCTA)","start":{"date-parts":[[2014,10,25]]},"location":"Alexandria, Egypt","end":{"date-parts":[[2014,10,27]]}},"container-title":["2014 24th International Conference on Computer Theory and Applications (ICCTA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9521546\/9521602\/09521621.pdf?arnumber=9521621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,22]],"date-time":"2021-11-22T21:18:32Z","timestamp":1637615912000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9521621\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,25]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/iccta35431.2014.9521621","relation":{},"subject":[],"published":{"date-parts":[[2014,10,25]]}}}