{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T04:56:47Z","timestamp":1761973007015,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386121"},{"type":"electronic","value":"9783642386138"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38613-8_6","type":"book-chapter","created":{"date-parts":[[2013,5,13]],"date-time":"2013-05-13T02:45:19Z","timestamp":1368413119000},"page":"77-93","source":"Crossref","is-referenced-by-count":2,"title":["Knowledge for the Distributed Implementation of Constrained Systems"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"9","key":"6_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 Trans. Software Eng.\u00a015(9), 1053\u20131065 (1989)","journal-title":"IEEE Trans. Software Eng."},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-02658-4_10","volume-title":"Computer Aided Verification","author":"A. Basu","year":"2009","unstructured":"Basu, A., Bensalem, S., Peled, D., Sifakis, J.: Priority scheduling of distributed systems based on model checking. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 79\u201393. Springer, Heidelberg (2009)"},{"key":"6_CR3","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)"},{"key":"6_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.) FORTE 2012 and FMOODS 2012. LNCS, vol.\u00a07273, pp. 118\u2013134. Springer, Heidelberg (2012)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages twelve years later. Proceedings of the IEEE\u00a091(1) (January 2003)","DOI":"10.1109\/JPROC.2002.805826"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","first-page":"15","volume-title":"EURO-PAR \u201995: Parallel Processing","author":"P. Caspi","year":"1995","unstructured":"Caspi, P., Girault, A.: Execution of distributed reactive systems. In: Haridi, S., Ali, K., Magnusson, P. (eds.) Euro-Par 1995. LNCS, vol.\u00a0966, pp. 15\u201326. Springer, Heidelberg (1995)"},{"key":"6_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Vardi, M.Y., Moses, Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"Genrich, H.J., Lautenbach, K.: System modelling with high-level petri nets. Theor. Comput. Sci.\u00a013, 109\u2013136 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-14295-6_35","volume-title":"Computer Aided Verification","author":"S. Graf","year":"2010","unstructured":"Graf, S., Peled, D., Quinton, S.: Achieving distributed control through model checking. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 396\u2013409. Springer, Heidelberg (2010)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-21461-5_12","volume-title":"Formal Techniques for Distributed Systems","author":"S. Graf","year":"2011","unstructured":"Graf, S., Peled, D., Quinton, S.: Monitoring distributed systems using knowledge. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol.\u00a06722, pp. 183\u2013197. Springer, Heidelberg (2011)"},{"issue":"3-5","key":"6_CR11","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. J. Log. Algebr. Program.\u00a080(3-5), 194\u2013218 (2011)","journal-title":"J. Log. Algebr. Program."},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF01784885","volume":"3","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y., Fagin, R.: Modelling knowledge and action in distributed systems. Distributed Computing\u00a03(4), 159\u2013177 (1989)","journal-title":"Distributed Computing"},{"key":"6_CR13","unstructured":"Kahn, G.: The semantics of simple language for parallel programming. In: IFIP Congress, pp. 471\u2013475 (1974)"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s004460050022","volume":"10","author":"C. Kant","year":"1996","unstructured":"Kant, C., Higashino, T., von Bochmann, G.: Deriving protocol specifications from service specifications written in LOTOS. Distributed Computing\u00a010(1), 29\u201347 (1996)","journal-title":"Distributed Computing"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1007\/978-3-642-22110-1_41","volume-title":"Computer Aided Verification","author":"G. Katz","year":"2011","unstructured":"Katz, G., Peled, D., Schewe, S.: Synthesis of distributed control through knowledge accumulation. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 510\u2013525. Springer, Heidelberg (2011)"},{"issue":"3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin, F., Wonham, W.M.: Decentralized supervisory control of discrete-event systems. Inf. Sci.\u00a044(3), 199\u2013224 (1988)","journal-title":"Inf. Sci."},{"issue":"12","key":"6_CR17","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 \u2014 Practice and Experience\u00a016(12), 1173\u20131206 (2004)","journal-title":"Concurrency \u2014 Practice and Experience"},{"issue":"4","key":"6_CR18","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1109\/12.88466","volume":"40","author":"R.L. Probert","year":"1991","unstructured":"Probert, R.L., Saleh, K.: Synthesis of communication protocols: Survey and assessment. IEEE Trans. Computers\u00a040(4), 468\u2013476 (1991)","journal-title":"IEEE Trans. Computers"},{"issue":"3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/TAC.2007.892371","volume":"52","author":"S.L. Ricker","year":"2007","unstructured":"Ricker, S.L., Rudie, K.: Knowledge is a terrible thing to waste: Using inference in discrete-event control problems. IEEE Trans. Automat. Contr.\u00a052(3), 428\u2013441 (2007)","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"9","key":"6_CR20","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"K. Rudie","year":"2000","unstructured":"Rudie, K., Ricker, S.L.: 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":"6_CR21","doi-asserted-by":"crossref","unstructured":"von Bochmann, G., Gotzhein, R.: Deriving protocol specifications from service specifications. In: Proceedings of SIGCOMM 1986, pp. 148\u2013156. ACM (1986)","DOI":"10.1145\/1013812.18190"},{"issue":"3","key":"6_CR22","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1023\/A:1008210519960","volume":"8","author":"K.C. Wong","year":"1998","unstructured":"Wong, K.C., Wonham, W.M.: Modular control and coordination of discrete-event systems. Discrete Event Dynamic Systems\u00a08(3), 247\u2013297 (1998)","journal-title":"Discrete Event Dynamic Systems"},{"issue":"1","key":"6_CR23","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.comnet.2006.03.011","volume":"51","author":"H. Yamaguchi","year":"2007","unstructured":"Yamaguchi, H., El-Fakih, K., von Bochmann, G., Higashino, T.: Deriving protocol specifications from service specifications written as predicate\/transition-nets. Computer Networks\u00a051(1), 258\u2013284 (2007)","journal-title":"Computer Networks"},{"issue":"4","key":"6_CR24","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"28","author":"P. Zafiropulo","year":"1980","unstructured":"Zafiropulo, P., West, C.H., Rudin, H., Cowan, D.D., Brand, D.: Towards analyzing and synthesizingprotocols. IEEE Transactions on Communications\u00a028(4), 651\u2013661 (1980)","journal-title":"IEEE Transactions on Communications"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38613-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T09:48:26Z","timestamp":1746006506000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-38613-8_6"}},"subtitle":["(Extended Abstract)"],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386121","9783642386138"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38613-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}