{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T19:42:47Z","timestamp":1777491767708,"version":"3.51.4"},"reference-count":20,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Concurrent Engineering"],"published-print":{"date-parts":[[2001,6]]},"abstract":"<jats:p>This paper presents a formal methodology and a set of design and programming tools for the development of concurrently communicating systems that execute in distributed computing environments. In order to solve the complex problems of synchronization and communication between dynamically distributed tasks, the distributed programming system uses an internal process-algebra-based mechanism, and provides an algebra term generator that allows the user to define the task architecture through a simple graphical inter face. An example of the design process of a heterogeneous distributed system illustrates the main phases of creating and executing a cbncurrent task system, as well as the architecture of the programming environment presented in the paper.<\/jats:p>","DOI":"10.1177\/1063293x0100900209","type":"journal-article","created":{"date-parts":[[2007,3,4]],"date-time":"2007-03-04T19:45:42Z","timestamp":1173037542000},"page":"155-165","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic Task Communication for Concurrent Processing in Distributed Systems"],"prefix":"10.1177","volume":"9","author":[{"given":"Marek B.","family":"Zarernba","sequence":"first","affiliation":[{"name":"D\u00e9partement d'informatique, Universit\u00e9 du Qu\u00e9bec, 101,\rSt Jean-Bosco, Hull, Quebec, Canada J8X-3X7"}]},{"given":"Wojciech","family":"Fraczak","sequence":"additional","affiliation":[{"name":"Solidum Systems Corp., Ottawa, Ontario, Canada"}]}],"member":"179","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"issue":"1","key":"atypb1","first-page":"111","volume":"5","author":"Eversheim, W.","year":"1998","journal-title":"Production Engineering"},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1177\/1063293X9700500106"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1109\/3468.661147"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(89)90070-8"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1142\/S0218796596000064"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1109\/37.375279"},{"key":"atypb7","volume-title":"A Reference Model Architecture for Intelligent Systems Design","author":"Albus, J.S.","year":"1994"},{"key":"atypb8","volume-title":"NASA\/NBS Standard Reference Modelfor Telerobot Control System Architecture (NASREM)","author":"Albus, J.S.","year":"1989"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1369-4"},{"key":"atypb10","doi-asserted-by":"crossref","unstructured":"Brooks, S.D. , C.A.R. Hoare and A.W. Roscoe. 1984. \"A Theory of Communication of Sequential Processes,\" Journal of ACM. 31(3):560-599.","DOI":"10.1145\/828.833"},{"key":"atypb11","volume-title":"Communication and Concurrency","author":"Milner, R.","year":"1989"},{"key":"atypb12","volume-title":"Concurrent Engineering Fundmentals","author":"Prasad, B.","year":"1996"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55610-9_167"},{"key":"atypb14","volume-title":"Multi-action process algebra,\" In Algorithms, Concurrency and Knowledge. LNCS 1023","author":"Fraczak, W.","year":"1995"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3"},{"key":"atypb16","volume-title":"The linear time-branching time spectrum II; the semantics of sequential systems with silent moves,\" In: CONCUR'93","author":"van Glabbeek, R.J.","year":"1993"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(98)00135-5"},{"key":"atypb18","volume-title":"Algebras of Located and Directed Processes,\" Research Report No. 987","author":"Fanchon, J.","year":"1995"},{"key":"atypb19","volume-title":"Learning in Multiagent Systems,\" Multiagent Systems: A ModernApproach to Distributed Artificial Intelligence","author":"Sen, S.","year":"1999"},{"key":"atypb20","volume-title":"Intelligent Agents,\" Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence","author":"Wooldridge, M.","year":"1999"}],"container-title":["Concurrent Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/1063293X0100900209","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/1063293X0100900209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T14:50:15Z","timestamp":1777387815000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/1063293X0100900209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["10.1177\/1063293X0100900209"],"URL":"https:\/\/doi.org\/10.1177\/1063293x0100900209","relation":{},"ISSN":["1063-293X","1531-2003"],"issn-type":[{"value":"1063-293X","type":"print"},{"value":"1531-2003","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}