{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T06:53:01Z","timestamp":1758264781304,"version":"3.38.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,9,27]],"date-time":"2011-09-27T00:00:00Z","timestamp":1317081600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s10703-011-0128-y","type":"journal-article","created":{"date-parts":[[2011,9,26]],"date-time":"2011-09-26T15:32:11Z","timestamp":1317051131000},"page":"229-245","source":"Crossref","is-referenced-by-count":12,"title":["Priority scheduling of distributed systems based on model checking"],"prefix":"10.1007","volume":"39","author":[{"given":"Ananda","family":"Basu","sequence":"first","affiliation":[]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,27]]},"reference":[{"key":"128_CR1","series-title":"LNCS","volume-title":"CAV 2009","author":"A Basu","year":"2009","unstructured":"Basu A, Bensalem S, Peled D, Sifakis J (2009) Priority scheduling of distributed systems based on knowledge. In: CAV 2009, Grenoble, France. LNCS, vol 5643. Springer, Berlin, pp\u00a079\u201393"},{"key":"128_CR2","volume-title":"ATVA 2010","author":"M Bozga","year":"2010","unstructured":"Bozga M, Bensalem S, Graf S, Peled D, Quinton S (2010) Methods for knowledge based controlling of distributed systems. In: ATVA 2010, Singapore"},{"key":"128_CR3","series-title":"LNCS","volume-title":"FORTE 2008","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: FORTE 2008, Tokyo, Japan. LNCS, vol 5048. Springer, Berlin, pp\u00a0116\u2013133"},{"key":"128_CR4","series-title":"LNCS","volume-title":"ICALP 1980","author":"EA Emerson","year":"1980","unstructured":"Emerson EA, Clarke EM (1980) Characterizing correctness properties of parallel programs using fixpoints. In: ICALP 1980. LNCS, vol 85. Springer, Berlin, pp 169\u2013181"},{"key":"128_CR5","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 JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge"},{"key":"128_CR6","series-title":"LNCSc","volume-title":"FMCO 2003","author":"G G\u00f6\u00dfler","year":"2004","unstructured":"G\u00f6\u00dfler G, Sifakis J (2004) Priority systems, formal methods for components and objects. In: FMCO 2003, Leiden, The Netherlands. LNCSc, vol 3188. Springer, Berlin, pp\u00a0443\u2013466"},{"key":"128_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"Genrich HJ, Lautenbach K (1981) System modeling with high-level Petri Nets. Theor Comput Sci 13:109\u2013135","journal-title":"Theor Comput Sci"},{"key":"128_CR8","series-title":"LNCS","volume-title":"CAV 2010","author":"S Graf","year":"2010","unstructured":"Graf S, Peled D, Quinton S (2010) Achieving distributed control through model checking. In: CAV 2010, Edinburgh, UK. LNCS, vol 6174. Springer, Berlin, pp 390\u2013409"},{"issue":"3","key":"128_CR9","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"JY Halpern","year":"1992","unstructured":"Halpern JY, Zuck LD (1992) A little knowledge goes a long way: knowledge based derivation and correctness proof for a family of protocols. J ACM 39(3):449\u2013478","journal-title":"J ACM"},{"key":"128_CR10","volume-title":"POPL","author":"Z Manna","year":"1983","unstructured":"Manna Z, Pnueli A (1983) How to cook a temporal proof system for your pet language. In: POPL, Austin, TX, vol 1983, pp 141\u2013154"},{"key":"128_CR11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1006\/inco.1997.2679","volume":"140","author":"R Meyden van\u00a0der","year":"1980","unstructured":"van\u00a0der Meyden R (1980) Common knowledge and update in finite environment. Inf Comput 140:115\u2013157","journal-title":"Inf Comput"},{"key":"128_CR12","volume-title":"CESAR, 5th international symposium on programming","author":"JP Quielle","year":"1981","unstructured":"Quielle JP, Sifakis J (1981) Specification and verification of concurrent systems. In: CESAR, 5th international symposium on programming, pp 337\u2013350"},{"issue":"1","key":"128_CR13","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"issue":"9","key":"128_CR14","doi-asserted-by":"crossref","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"K Rudie","year":"2000","unstructured":"Rudie K, Ricker SL (2000) Know means no: incorporating knowledge into discrete-event control systems. IEEE Trans Autom Control 45(9):1656\u20131668","journal-title":"IEEE Trans Autom Control"},{"issue":"11","key":"128_CR15","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K Rudie","year":"1992","unstructured":"Rudie K, Wonham WM (1992) Think globally, act locally: decentralized supervisory control. IEEE Trans Autom Control 37(11):1692\u20131708","journal-title":"IEEE Trans Autom Control"},{"key":"128_CR16","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/j.sysconle.2004.10.002","volume":"54","author":"JG Thistle","year":"2005","unstructured":"Thistle JG (2005) Undecidability in decentralized supervision. Syst Control Lett 54:503\u2013509","journal-title":"Syst Control Lett"},{"issue":"1","key":"128_CR17","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S Tripakis","year":"2004","unstructured":"Tripakis S (2004) Undecidable problems of decentralized observation and control on regular languages. Inf Process Lett 90(1):21\u201328","journal-title":"Inf Process Lett"},{"issue":"3","key":"128_CR18","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"TS Yoo","year":"2002","unstructured":"Yoo TS, Lafortune S (2002) A general architecture for decentralized supervisory control of discrete-event systems. Discret Event Dyn Syst, Theory Appl 12(3):335\u2013377","journal-title":"Discret Event Dyn Syst, Theory Appl"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-011-0128-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-011-0128-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-011-0128-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T02:14:10Z","timestamp":1741745650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-011-0128-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,27]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["128"],"URL":"https:\/\/doi.org\/10.1007\/s10703-011-0128-y","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2011,9,27]]}}}