{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:41:42Z","timestamp":1773772902469,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,17]],"date-time":"2013-06-17T00:00:00Z","timestamp":1371427200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,17]]},"DOI":"10.1145\/2465449.2465464","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"101-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Implementing generalized alternative construct for erasmus language"],"prefix":"10.1145","author":[{"given":"Nima","family":"Jafroodi","sequence":"first","affiliation":[{"name":"Concordia University, Montreal, PQ, Canada"}]},{"given":"Peter","family":"Grogono","sequence":"additional","affiliation":[{"name":"Concordia University, Montreal, PQ, Canada"}]}],"member":"320","published-online":{"date-parts":[[2013,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195003","volume-title":"Process Algebra: Equational Theories of Communicating Processes","author":"Baeten J. C. M.","year":"2009","unstructured":"J. C. M. Baeten , T. Basten , and M. A. Reniers . Process Algebra: Equational Theories of Communicating Processes . Cambridge University Press , New York, NY, USA , 1 st edition, 2009 . J. C. M. Baeten, T. Basten, and M. A. Reniers. Process Algebra: Equational Theories of Communicating Processes. Cambridge University Press, New York, NY, USA, 1st edition, 2009.","edition":"1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-2464(07)80015-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/828.833"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/69624.357208"},{"key":"e_1_3_2_1_5_1","volume-title":"Design patterns: elements of reusable object-oriented software","author":"Gamma Erich","year":"1995","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . Design patterns: elements of reusable object-oriented software . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1995 . Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1995."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370256.1370270"},{"key":"e_1_3_2_1_7_1","first-page":"47","volume-title":"3rd International Conference on Software and Data Technologies (ICSOFT 2008","author":"Grogono Peter","year":"2008","unstructured":"Peter Grogono and Brian Shearing . Modular Concurrency : A New Approach to Manageable Software . In 3rd International Conference on Software and Data Technologies (ICSOFT 2008 ), pages 47 -- 54 , July 2008 . Peter Grogono and Brian Shearing. Modular Concurrency: A New Approach to Manageable Software. In 3rd International Conference on Software and Data Technologies (ICSOFT 2008), pages 47--54, July 2008."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008)","author":"Groote J.F.","year":"2008","unstructured":"J.F. Groote , J. Keiren , A. Mathijssen , B. Ploeger , F. Stappers , C. Tankink , Y. Usenko , M. van Weerdenburg , W. Wesselink , T. Willemse , and J. van der Wulp. The mCRL2 Toolset . In Proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008) , 2008 . J.F. Groote, J. Keiren, A. Mathijssen, B. Ploeger, F. Stappers, C. Tankink, Y. Usenko, M. van Weerdenburg, W. Wesselink, T. Willemse, and J. van der Wulp. The mCRL2 Toolset. In Proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008), 2008."},{"key":"e_1_3_2_1_9_1","first-page":"947","volume-title":"Knabe. A Distributed Protocol for Channel-Based Communication with Choice. In Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe, PARLE'92","author":"Frederick","year":"1992","unstructured":"Frederick Knabe. A Distributed Protocol for Channel-Based Communication with Choice. In Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe, PARLE'92 , pages 947 -- 948 , London, UK, UK , 1992 . Springer-Verlag. Frederick Knabe. A Distributed Protocol for Channel-Based Communication with Choice. In Proceedings of the 4th International PARLE Conference on Parallel Architectures and Languages Europe, PARLE'92, pages 947--948, London, UK, UK, 1992. Springer-Verlag."},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"Communicating Process Architectures 2011","author":"Lowe Gavin","year":"2011","unstructured":"Gavin Lowe . Implementing Generalised Alt. In Peter H. Welch, Adam T. Sampson, Jan Baekgaard Pedersen, Jon Kerridge, Jan F. Broenink, and Frederick R. M. Barnes, editors , Communicating Process Architectures 2011 , pages 1 -- 34 , June 2011 . Gavin Lowe. Implementing Generalised Alt. In Peter H. Welch, Adam T. Sampson, Jan Baekgaard Pedersen, Jon Kerridge, Jan F. Broenink, and Frederick R. M. Barnes, editors, Communicating Process Architectures 2011, pages 1--34, June 2011."},{"key":"e_1_3_2_1_11_1","unstructured":"Bernard\n      Sufrin\n    .\n  Communicating scala objects\n  . In Peter H. Welch Susan Stepney Fiona Polack Fred R. M. Barnes Alistair A. McEwan Gardiner S. Stiles Jan F. Broenink and Adam T. Sampson editors CPA volume \n  66\n   of \n  Concurrent Systems Engineering Series pages \n  35\n  --\n  54\n  . \n  IOS Press 2008\n  .  Bernard Sufrin. Communicating scala objects. In Peter H. Welch Susan Stepney Fiona Polack Fred R. M. Barnes Alistair A. McEwan Gardiner S. Stiles Jan F. Broenink and Adam T. Sampson editors CPA volume 66 of Concurrent Systems Engineering Series pages 35--54. IOS Press 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v22:8"},{"key":"e_1_3_2_1_13_1","first-page":"114","volume-title":"Jeremy M. R. A CSP Model for Java Multithreading. In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE'00","author":"Martin Peter","year":"2000","unstructured":"Welch, Peter H. and Martin , Jeremy M. R. A CSP Model for Java Multithreading. In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE'00 , pages 114 -- 122 , Washington, DC, USA , 2000 . IEEE Computer Society. Welch, Peter H. and Martin, Jeremy M. R. A CSP Model for Java Multithreading. In Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE'00, pages 114--122, Washington, DC, USA, 2000. IEEE Computer Society."}],"event":{"name":"Comparch '13: Federated Events on Component-Based Software Engineering and Software Architecture","location":"Vancouver British Columbia Canada","acronym":"Comparch '13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465449.2465464","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2465449.2465464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:36Z","timestamp":1750235976000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465449.2465464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,17]]},"references-count":13,"alternative-id":["10.1145\/2465449.2465464","10.1145\/2465449"],"URL":"https:\/\/doi.org\/10.1145\/2465449.2465464","relation":{},"subject":[],"published":{"date-parts":[[2013,6,17]]},"assertion":[{"value":"2013-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}