{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:03:25Z","timestamp":1761581005109},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,7,5]],"date-time":"2012-07-05T00:00:00Z","timestamp":1341446400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10617-012-9091-0","type":"journal-article","created":{"date-parts":[[2012,7,4]],"date-time":"2012-07-04T23:19:27Z","timestamp":1341443967000},"page":"251-276","source":"Crossref","is-referenced-by-count":8,"title":["Model-based implementation of distributed systems with priorities"],"prefix":"10.1007","volume":"17","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":"Jean","family":"Quilbeuf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,5]]},"reference":[{"issue":"3","key":"9091_CR1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab F (2004) Reo: a channel-based coordination model for component composition. Math Struct Comput Sci 14(3):329\u2013366","journal-title":"Math Struct Comput Sci"},{"key":"9091_CR2","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1007\/3-540-18625-5_48","volume-title":"Foundations of software technology and theoretical computer science, seventh conference (FSTTCS)","author":"R Bagrodia","year":"1987","unstructured":"Bagrodia R (1987) A distributed algorithm to implement n-party rendevouz. In: Foundations of software technology and theoretical computer science, seventh conference (FSTTCS), pp\u00a0138\u2013152"},{"issue":"9","key":"9091_CR3","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1109\/32.31364","volume":"15","author":"R Bagrodia","year":"1989","unstructured":"Bagrodia R (1989) Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans Softw Eng 15(9):1053\u20131065","journal-title":"IEEE Trans Softw Eng"},{"key":"9091_CR4","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-3-642-02658-4_10","volume-title":"Computer aided verification (CAV)","author":"A Basu","year":"2009","unstructured":"Basu A, Bensalem S, Peled D, Sifakis J (2009) Priority scheduling of distributed systems based on model checking. In: Computer aided verification (CAV), pp\u00a079\u201393"},{"key":"9091_CR5","first-page":"116","volume-title":"Formal techniques for networked and distributed systems (FORTE)","author":"A Basu","year":"2008","unstructured":"Basu A, Bidinger P, Bozga M, Sifakis J (2008) Distributed semantics and implementation for systems with interaction and priority. In: Formal techniques for networked and distributed systems (FORTE), pp\u00a0116\u2013133"},{"key":"9091_CR6","first-page":"3","volume-title":"Software engineering and formal methods (SEFM)","author":"A Basu","year":"2006","unstructured":"Basu A, Bozga M, Sifakis J (2006) Modeling heterogeneous real-time components in BIP. In: Software engineering and formal methods (SEFM), pp\u00a03\u201312"},{"key":"9091_CR7","first-page":"508","volume-title":"Concurrency theory (CONCUR)","author":"S Bliudze","year":"2008","unstructured":"Bliudze S, Sifakis J (2008) A notion of glue expressiveness for component-based systems. In: Concurrency theory (CONCUR), pp\u00a0508\u2013522"},{"key":"9091_CR8","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/SIES.2010.5551377","volume-title":"IEEE symposium on industrial embedded systems (SIES)","author":"B Bonakdarpour","year":"2010","unstructured":"Bonakdarpour B, Bozga M, Jaber M, Quilbeuf J, Sifakis J (2010) Automated conflict-free distributed implementation of component-based models. In: IEEE symposium on industrial embedded systems (SIES), pp\u00a0108\u2013117"},{"key":"9091_CR9","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1145\/1879021.1879049","volume-title":"ACM international conference on embedded software (EMSOFT)","author":"B Bonakdarpour","year":"2010","unstructured":"Bonakdarpour B, Bozga M, Jaber M, Quilbeuf J, Sifakis J (2010) From high-level component-based models to distributed implementations. In: ACM international conference on embedded software (EMSOFT), pp\u00a0209\u2013218"},{"key":"9091_CR10","doi-asserted-by":"crossref","unstructured":"Bonakdarpour B, Bozga M, Jaber M, Quilbeuf J, Sifakis J (2012, to appear) A framework for automated distributed implementation of component-based models. Distrib Comput. doi: 10.1007\/s00446-012-0168-6","DOI":"10.1007\/s00446-012-0168-6"},{"key":"9091_CR11","first-page":"231","volume-title":"IEEE international parallel and distributed processing symposium (IPDPS)","author":"B Bonakdarpour","year":"2011","unstructured":"Bonakdarpour B, Devismes S, Petit F (2011) Snap-stabilizing committee coordination. In: IEEE international parallel and distributed processing symposium (IPDPS), pp\u00a0231\u2013242"},{"issue":"4","key":"9091_CR12","doi-asserted-by":"crossref","first-page":"708","DOI":"10.1109\/TII.2010.2069102","volume":"6","author":"M Bozga","year":"2010","unstructured":"Bozga M, Jaber M, Sifakis J (2010) Source-to-source architecture transformation for performance optimization in bip. IEEE Trans Ind Inform 6(4):708\u2013718","journal-title":"IEEE Trans Ind Inform"},{"issue":"4","key":"9091_CR13","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"KM Chandy","year":"1984","unstructured":"Chandy KM, Misra J (1984) The drinking philosophers problem. ACM Trans Program Lang Syst 6(4):632\u2013646","journal-title":"ACM Trans Program Lang Syst"},{"key":"9091_CR14","volume-title":"Parallel program design: a foundation","author":"KM Chandy","year":"1988","unstructured":"Chandy KM, Misra J (1988) Parallel program design: a foundation. Addison-Wesley, Boston"},{"key":"9091_CR15","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/978-3-642-24372-1_12","volume-title":"Automated technology for verification and analysis (ATVA)","author":"C-H Cheng","year":"2011","unstructured":"Cheng C-H, Bensalem S, Chen Y-F, Yan R, Jobstmann B, Ruess H, Buckl C, Knoll A (2011) Algorithms for synthesizing priorities in component-based systems. In: Automated technology for verification and analysis (ATVA), pp\u00a0150\u2013167"},{"issue":"1\u20133","key":"9091_CR16","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 (2005) Composition for component-based modeling. Sci Comput Program 55(1\u20133):161\u2013183","journal-title":"Sci Comput Program"},{"key":"9091_CR17","unstructured":"ISO\/IEC (1989) Information Processing Systems\u2014Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behavior"},{"issue":"2","key":"9091_CR18","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 SA (1998) Strong interaction fairness via randomization. IEEE Trans Parallel Distrib Syst 9(2):137\u2013149","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"9091_CR19","first-page":"290","volume-title":"Symposium on theoretical aspects of computer science (STACS)","author":"M Jurdzinski","year":"2000","unstructured":"Jurdzinski M (2000) Small progress measures for solving parity games. In: Symposium on theoretical aspects of computer science (STACS), pp\u00a0290\u2013301"},{"key":"9091_CR20","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/ICDCS.1990.89299","volume-title":"IEEE international conference on distributed computing systems (ICDCS)","author":"D Kumar","year":"1990","unstructured":"Kumar D (1990) An implementation of n-party synchronization using tokens. In: IEEE international conference on distributed computing systems (ICDCS), pp\u00a0320\u2013327"},{"key":"9091_CR21","volume-title":"Distributed algorithms","author":"N Lynch","year":"1996","unstructured":"Lynch N (1996) Distributed algorithms. Morgan Kaufmann, San Mateo"},{"key":"9091_CR22","volume-title":"Communication and concurrency","author":"R Milner","year":"1995","unstructured":"Milner R (1995) Communication and concurrency. Prentice Hall International, Englewood Cliffs"},{"issue":"7","key":"9091_CR23","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1016\/j.jpdc.2007.02.005","volume":"67","author":"N Mittal","year":"2007","unstructured":"Mittal N, Mohan PK (2007) A priority-based distributed group mutual exclusion algorithm when group access is non-uniform. J Parallel Distrib Comput 67(7):797\u2013815","journal-title":"J Parallel Distrib Comput"},{"key":"9091_CR24","first-page":"518","volume-title":"International conference on concurrency theory (CONCUR)","author":"J Parrow","year":"1992","unstructured":"Parrow J, Sj\u00f6din P (1992) Multiway synchronization verified with coupled simulation. In: International conference on concurrency theory (CONCUR), pp\u00a0518\u2013533"},{"issue":"12","key":"9091_CR25","doi-asserted-by":"crossref","first-page":"1173","DOI":"10.1002\/cpe.903","volume":"16","author":"JA P\u00e9rez","year":"2004","unstructured":"P\u00e9rez JA, Corchuelo R, Toro M (2004) An order-based algorithm for implementing multiparty synchronization. Concurr Comput 16(12):1173\u20131206","journal-title":"Concurr Comput"},{"key":"9091_CR26","unstructured":"Proen\u00e7a J (2011) Synchronous coordination of distributed components. PhD thesis, Faculteit der Wiskunde en Natuurwetenschappen"},{"key":"9091_CR27","first-page":"121","volume-title":"Symposium on network computing and applications (NCA)","author":"JA Tauber","year":"2004","unstructured":"Tauber JA, Lynch NA, Tsai MJ (2004) Compiling IOA without global synchronization. In: Symposium on network computing and applications (NCA), pp\u00a0121\u2013130"},{"key":"9091_CR28","first-page":"133","volume-title":"Formal techniques for networked and distributed systems (FORTE)","author":"G Bochmann von","year":"1989","unstructured":"von Bochmann G, Gao Q, Wu C (1989) On the distributed implementation of LOTOS. In: Formal techniques for networked and distributed systems (FORTE), pp\u00a0133\u2013146"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9091-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-012-9091-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9091-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T10:48:20Z","timestamp":1561891700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-012-9091-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,5]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["9091"],"URL":"https:\/\/doi.org\/10.1007\/s10617-012-9091-0","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,5]]}}}