{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:01:30Z","timestamp":1725739290736},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396106"},{"type":"electronic","value":"9783642396113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39611-3_10","type":"book-chapter","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T22:33:07Z","timestamp":1372890787000},"page":"40-55","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge Based Transactional Behavior"],"prefix":"10.1007","author":[{"given":"Saddek","family":"Bensalem","sequence":"first","affiliation":[]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Quilbeuf","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"10_CR1","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)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10703-011-0128-y","volume":"39","author":"A. Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Peled, D., Sifakis, J.: Priority scheduling of distributed systems based on model checking. Formal Methods in System Design\u00a039, 229\u2013245 (2011)","journal-title":"Formal Methods in System Design"},{"key":"10_CR3","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)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-30793-5_8","volume-title":"Formal Techniques for Distributed Systems","author":"S. Bensalem","year":"2012","unstructured":"Bensalem, S., Bozga, M., Quilbeuf, J., Sifakis, J.: Knowledge-based distributed conflict resolution for multiparty interactions and priorities. In: Giese, H., Rosu, G. (eds.) FMOODS\/FORTE 2012. LNCS, vol.\u00a07273, pp. 118\u2013134. Springer, Heidelberg (2012)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/69624.357208","volume":"5","author":"G.N. Buckley","year":"1983","unstructured":"Buckley, G.N., Silberschatz, A.: An effective implementation for the generalized input-output construct of CSP. ACM Trans. Program. Lang. Syst.\u00a05, 223\u2013235 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10_CR6","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":"10_CR7","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"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM\u00a021, 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"issue":"2","key":"10_CR9","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."},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-642-12002-2_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Katz","year":"2010","unstructured":"Katz, G., Peled, D.: Code mutation in verification and automatic code correction. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol.\u00a06015, pp. 435\u2013450. Springer, Heidelberg (2010)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Kumar, D.: An implementation of n-party synchronization using tokens. In: International Conference on Distributed Computing Systems (ICDCS), pp. 320\u2013327. IEEE (1990)","DOI":"10.1109\/ICDCS.1990.89299"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Lehmann, D., Rabin, M.O.: On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem. In: Principles of Programming Languages, POPL (1981)","DOI":"10.1145\/567532.567547"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/inco.1997.2679","volume":"140","author":"R.V. Meyden Der","year":"1997","unstructured":"Der Meyden, R.V.: Common knowledge and update in finite environments. Information and Computation\u00a0140, 115\u2013157 (1997)","journal-title":"Information and Computation"},{"issue":"12","key":"10_CR14","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"},{"issue":"9","key":"10_CR15","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"S.L. Ricker","year":"2000","unstructured":"Ricker, S.L., Rudie, K.: Know means no: Incorporating knowledge into discrete-event control systems. IEEE Trans. on Automatic Control\u00a045(9), 1656\u20131668 (2000)","journal-title":"IEEE Trans. on Automatic Control"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39611-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,17]],"date-time":"2019-07-17T02:00:57Z","timestamp":1563328857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39611-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396106","9783642396113"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39611-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}