{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:56Z","timestamp":1762458956710,"version":"3.40.2"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,3,27]],"date-time":"2012-03-27T00:00:00Z","timestamp":1332806400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s00446-012-0168-6","type":"journal-article","created":{"date-parts":[[2012,3,26]],"date-time":"2012-03-26T13:26:01Z","timestamp":1332768361000},"page":"383-409","source":"Crossref","is-referenced-by-count":50,"title":["A framework for automated distributed implementation of component-based models"],"prefix":"10.1007","volume":"25","author":[{"given":"Borzoo","family":"Bonakdarpour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamad","family":"Jaber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Quilbeuf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,27]]},"reference":[{"issue":"1","key":"168_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02579338","volume":"3","author":"M. Ajtai","year":"1983","unstructured":"Ajtai M., Koml\u00f3s J., Szemer\u00e9di E.: Sorting in c log n parallel steps. Combinatorica 3(1), 1\u201319 (1983)","journal-title":"Combinatorica"},{"key":"168_CR2","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comp. Sci. 14, 329\u2013366 (2004)","journal-title":"Math. Struct. Comp. Sci."},{"key":"168_CR3","doi-asserted-by":"crossref","unstructured":"Bagrodia, R.: A distributed algorithm to implement n-party rendevouz. In: Foundations of Software Technology and Theoretical Computer Science, Seventh Conference (FSTTCS), pp. 138\u2013152 (1987)","DOI":"10.1007\/3-540-18625-5_48"},{"issue":"9","key":"168_CR4","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1109\/32.31364","volume":"15","author":"R. Bagrodia","year":"1989","unstructured":"Bagrodia R.: Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans. Softw. Eng. (TSE) 15(9), 1053\u20131065 (1989)","journal-title":"IEEE Trans. Softw. Eng. (TSE)"},{"key":"168_CR5","doi-asserted-by":"crossref","unstructured":"Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed semantics and implementation for systems with interaction and priority. In: Formal Techniques for Networked and Distributed Systems (FORTE), pp. 116\u2013133 (2008)","DOI":"10.1007\/978-3-540-68855-6_8"},{"key":"168_CR6","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Software Engineering and Formal Methods (SEFM), pp. 3\u201312 (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"168_CR7","doi-asserted-by":"crossref","unstructured":"Batcher, K.E.: Sorting networks and their applications. In: AFIPS \u201968 (Spring): Proceedings of the April 30\u2013May 2, 1968, Spring Joint Computer Conference, pp. 307\u2013314 (1968)","DOI":"10.1145\/1468075.1468121"},{"key":"168_CR8","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: A notion of glue expressiveness for component-based systems. In: Concurrency Theory (CONCUR), pp. 508\u2013522 (2008)","DOI":"10.1007\/978-3-540-85361-9_39"},{"key":"168_CR9","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: From high-level component-based models to distributed implementations. Technical Report TR-2010-9, VERIMAG, March (2010)","DOI":"10.1145\/1879021.1879049"},{"key":"168_CR10","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Quilbeuf, J.: Automated distributed implementation of component-based models with priorities. In: ACM International Conference on Embedded Software (EMSOFT), pp. 59\u201368 (2011)","DOI":"10.1145\/2038642.2038654"},{"key":"168_CR11","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Devismes, S., Petit, F.: Snap-stabilizing committee coordination. In: IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 231\u2013242 (2011)","DOI":"10.1109\/IPDPS.2011.31"},{"key":"168_CR12","doi-asserted-by":"crossref","unstructured":"Bozga, M., Jaber, M., Sifakis, J.: Source-to-source architecture transformation for performance optimization in BIP. In: Symposium on Industrial Embedded Systems (SIES), pp. 152\u2013160 (2009)","DOI":"10.1109\/SIES.2009.5196211"},{"issue":"4","key":"168_CR13","doi-asserted-by":"crossref","first-page":"708","DOI":"10.1109\/TII.2010.2069102","volume":"5","author":"M. Bozga","year":"2010","unstructured":"Bozga M., Jaber M., Sifakis J.: Source-to-source architecture transformation for performance optimization in BIP. IEEE Trans. Ind. Inform. 5(4), 708\u2013718 (2010)","journal-title":"IEEE Trans. Ind. Inform."},{"issue":"4","key":"168_CR14","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"K.M. Chandy","year":"1984","unstructured":"Chandy K.M., Misra J.: The drinking philosophers problem. ACM Trans. Program. Lang. Syst. (TOPLAS) 6(4), 632\u2013646 (1984)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"168_CR15","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy K.M., Misra J.: Parallel Program Design: A Foundation. Addison-Wesley Longman Publishing Co., Inc., Boston (1988)"},{"key":"168_CR16","unstructured":"Cheiner O.M., Shvartsman A.A.: Implementing an eventuallyserializable data service as a distributed system building block. In: Principles Of Distributed Systems (OPODIS), pp. 9\u201324 (1998)"},{"issue":"1","key":"168_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(80)90021-6","volume":"11","author":"E.W. Dijkstra","year":"1980","unstructured":"Dijkstra E.W., Scholten C.S.: Termination detection for diffusing computations. Inf. Process. Lett. 11(1), 1\u20134 (1980)","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"168_CR18","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1137\/0215009","volume":"15","author":"Z. Galil","year":"1986","unstructured":"Galil Z., Micali S., Gabow H.N.: An o(ev log v) algorithm for finding a maximal weighted matching in general graphs. SIAM J. Comput. 15(1), 120\u2013130 (1986)","journal-title":"SIAM J. Comput."},{"issue":"1\u20133","key":"168_CR19","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.scico.2004.05.014","volume":"55","author":"G. G\u00f6ssler","year":"2005","unstructured":"G\u00f6ssler G., Sifakis J.: Composition for component-based modeling. Sci. Comput. Program. 55(1\u20133), 161\u2013183 (2005)","journal-title":"Sci. Comput. Program."},{"key":"168_CR20","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Moss, J.E.B.: Transactional memory: architectural support for lock-free data structures. In: ISCA, pp. 289\u2013300 (1993)","DOI":"10.1145\/173682.165164"},{"key":"168_CR21","unstructured":"ISO\/IEC. Information Processing Systems\u2014Open Systems Interconnection: LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behavior (1989)"},{"issue":"2","key":"168_CR22","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/71.663873","volume":"9","author":"Y.-J. Joung","year":"1998","unstructured":"Joung Y.-J., Smolka S.A.: Strong interaction fairness via randomization. IEEE Trans. Parallel Distrib. Syst. 9(2), 137\u2013149 (1998)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"168_CR23","doi-asserted-by":"crossref","unstructured":"Kumar, D.: An implementation of n-party synchronization using tokens. In: ICDCS, pp. 320\u2013327 (1990)","DOI":"10.1109\/ICDCS.1990.89299"},{"issue":"4","key":"168_CR24","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1137\/0215074","volume":"15","author":"M. Luby","year":"1986","unstructured":"Luby M.: A simple parallel algorithm for the maximal independent set problem. SIAM J. Comput. 15(4), 1036\u20131053 (1986)","journal-title":"SIAM J. Comput."},{"key":"168_CR25","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch N.: Distributed Algorithms. Morgan Kaufmann, San Mateo (1996)"},{"issue":"14","key":"168_CR26","doi-asserted-by":"crossref","first-page":"1336","DOI":"10.1016\/j.tcs.2008.12.022","volume":"410","author":"F. Manne","year":"2009","unstructured":"Manne F., Mjelde M., Pilard L., Tixeuil S.: A new self-stabilizing maximal matching algorithm. Theor. Comput. Sci. 410(14), 1336\u20131345 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"168_CR27","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer, Berlin (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"168_CR28","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1995","unstructured":"Milner R.: Communication and Concurrency. Prentice Hall, Hertfordshire (1995)"},{"issue":"4","key":"168_CR29","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T.: Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"issue":"12","key":"168_CR30","doi-asserted-by":"crossref","first-page":"1173","DOI":"10.1002\/cpe.903","volume":"16","author":"J.A. P\u00e9rez","year":"2004","unstructured":"P\u00e9rez J.A., Corchuelo R., Toro M.: An order-based algorithm for implementing multiparty synchronization. Concurr. Comput. Pract. Exp. 16(12), 1173\u20131206 (2004)","journal-title":"Concurr. Comput. Pract. Exp."},{"key":"168_CR31","unstructured":"Proen\u00e7a, J.: Synchronous Coordination of Distributed Components. PhD thesis, Faculteit der Wiskunde en Natuurwetenschappen (May 2011)"},{"issue":"2","key":"168_CR32","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s004460050028","volume":"10","author":"N. Shavit","year":"1997","unstructured":"Shavit N., Touitou D.: Software transactional memory. Distrib. Comput. 10(2), 99\u2013116 (1997)","journal-title":"Distrib. Comput."},{"key":"168_CR33","doi-asserted-by":"crossref","unstructured":"Tauber, J.A., Lynch, N.A., Tsai, M.J.: Compiling IOA without global synchronization. In: Symposium on Network Computing and Applications (NCA), pp. 121\u2013130 (2004)","DOI":"10.1109\/NCA.2004.1347769"},{"key":"168_CR34","unstructured":"von Bochmann, G., Gao, Q., Wu, C.: On the distributed implementation of lotos. In: FORTE, pp. 133\u2013146 (1989)"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-012-0168-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-012-0168-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-012-0168-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T00:46:48Z","timestamp":1742777208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-012-0168-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,27]]},"references-count":34,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["168"],"URL":"https:\/\/doi.org\/10.1007\/s00446-012-0168-6","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"type":"print","value":"0178-2770"},{"type":"electronic","value":"1432-0452"}],"subject":[],"published":{"date-parts":[[2012,3,27]]}}}