{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T04:12:01Z","timestamp":1743394321854,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307928"},{"type":"electronic","value":"9783642307935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30793-5_8","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T11:34:33Z","timestamp":1339155273000},"page":"118-134","source":"Crossref","is-referenced-by-count":7,"title":["Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities"],"prefix":"10.1007","author":[{"given":"Saddek","family":"Bensalem","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"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-540-30101-1_15","volume-title":"Formal Methods for Components and Objects","author":"G. G\u00f6\u00dfler","year":"2004","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Priority Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 314\u2013329. Springer, Heidelberg (2004)"},{"key":"8_CR2","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":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: From high-level component-based models to distributed implementations. In: EMSOFT (2010)","DOI":"10.1145\/1879021.1879049"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. Distributed Computing, 1\u201327, http:\/\/dx.doi.org\/10.1007\/s00446-012-0168-6","DOI":"10.1007\/s00446-012-0168-6"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Quilbeuf, J.: Automated distributed implementation of component-based models with priorities. In: EMSOFT, pp. 59\u201368 (2011)","DOI":"10.1145\/2038642.2038654"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF01784885","volume":"3","author":"J.Y. Halpern","year":"1988","unstructured":"Halpern, J.Y., Fagin, R.: Modelling knowledge and action in distributed systems. Distributed Computing\u00a03, 159\u2013179 (1988)","journal-title":"Distributed Computing"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J.Y. Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM\u00a037, 549\u2013587 (1990)","journal-title":"J. ACM"},{"issue":"4598","key":"8_CR9","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science\u00a0220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-88387-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2008","unstructured":"Bensalem, S., Bozga, M., Sifakis, J., Nguyen, T.H.: Compositional Verification for Component-Based Systems and Application. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 64\u201379. Springer, Heidelberg (2008)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-18086-9_22","volume-title":"Advances in Petri Nets 1987","author":"F. Krckeberg","year":"1987","unstructured":"Krckeberg, F., Jaxy, M.: Mathematical Methods for Calculating Invariants in Petri Nets. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 104\u2013131. Springer, Heidelberg (1987)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1007\/978-3-642-02658-4_45","volume-title":"Computer Aided Verification","author":"S. Bensalem","year":"2009","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.H., Sifakis, J.: D-Finder: A Tool for Compositional Deadlock Detection and Verification. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 614\u2013619. Springer, Heidelberg (2009)"},{"key":"8_CR13","unstructured":"Bensalem, S., Bozga, M., Legay, A., Nguyen, T.H., Sifakis, J., Yan, R.: Incremental component-based construction and verification using invariants. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 256\u2013257 (October 2010)"},{"key":"8_CR14","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)"},{"issue":"9","key":"8_CR15","doi-asserted-by":"publisher","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 Transactions on Software Engineering (TSE)\u00a015(9), 1053\u20131065 (1989)","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"issue":"12","key":"8_CR16","doi-asserted-by":"publisher","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. Concurrency and Computation: Practice and Experience\u00a016(12), 1173\u20131206 (2004)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"8_CR17","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":"2","key":"8_CR18","doi-asserted-by":"publisher","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.\u00a09(2), 137\u2013149 (1998)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","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 Transactions on Programming Languages and Systems (TOPLAS)\u00a06(4), 632\u2013646 (1984)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.jlap.2010.10.001","volume":"80","author":"I. Ben-Hafaiedh","year":"2011","unstructured":"Ben-Hafaiedh, I., Graf, S., Quinton, S.: Building distributed controllers for systems with priorities. Journal of Logic and Algebraic Programming\u00a080, 194\u2013218 (2011)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"9","key":"8_CR21","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"S. Ricker","year":"2000","unstructured":"Ricker, S., Rudie, K.: Know means no: Incorporating knowledge into discrete-event control systems. IEEE Transactions on Automatic Control\u00a045(9), 1656\u20131668 (2000)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-15643-4_6","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2010","unstructured":"Bensalem, S., Bozga, M., Graf, S., Peled, D., Quinton, S.: Methods for Knowledge Based Controlling of Distributed Systems. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol.\u00a06252, pp. 52\u201366. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30793-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T06:29:16Z","timestamp":1743316156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30793-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307928","9783642307935"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30793-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}