{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T11:10:01Z","timestamp":1740222601732,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642137532"},{"type":"electronic","value":"9783642137549"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13754-9_2","type":"book-chapter","created":{"date-parts":[[2010,6,30]],"date-time":"2010-06-30T11:05:52Z","timestamp":1277895952000},"page":"26-41","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge Based Scheduling of Distributed Systems"],"prefix":"10.1007","author":[{"given":"Saddek","family":"Bensalem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-68855-6_8","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008","author":"A. Basu","year":"2008","unstructured":"Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed Semantics and Implementation for Systems with Interaction and Priority. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol.\u00a05048, pp. 116\u2013133. Springer, Heidelberg (2008)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-10003-2_69","volume-title":"Automata, Languages and Programming","author":"E.A. Emerson","year":"1980","unstructured":"Emerson, E.A., Clarke, E.M.: Characterizing Correctness Properties of Parallel Programs using Fixpoints. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 169\u2013181. Springer, Heidelberg (1980)"},{"key":"2_CR3","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., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"issue":"3","key":"2_CR4","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Zuck, L.D.: A little knowledge goes a long way: knowledge based derivation and correctness proof for a family of protocols. Journal of the ACM\u00a039(3), 449\u2013478 (1992)","journal-title":"Journal of the ACM"},{"key":"2_CR5","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. Communication of the ACM\u00a021, 666\u2013677 (1978)","journal-title":"Communication of the ACM"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","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. 443\u2013466. Springer, Heidelberg (2004)"},{"key":"2_CR7","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 Modeling with High-level Petri Nets. Theoretical computer Science\u00a013, 109\u2013135 (1981)","journal-title":"Theoretical computer Science"},{"key":"2_CR8","volume-title":"CAV 2010","author":"S. Graf","year":"2010","unstructured":"Graf, S., Peled, D., Quinton, S.: Achieving Distributed Control Through Model Checking. In: CAV 2010. Springer, Heidelberg (to appear, 2010)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: How to Cook a Temporal Proof System for Your Pet Language. In: POPL 1983, Austin, TX, pp. 141\u2013154 (1983)","DOI":"10.1145\/567067.567082"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/inco.1997.2679","volume":"140","author":"R. Meyden van der","year":"1980","unstructured":"van der Meyden, R.: Common Knowledge and Update in Finite Environment. Information and Computation\u00a0140, 115\u2013157 (1980)","journal-title":"Information and Computation"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Quielle, J.P., Sifakis, J.: Specification and Verification of Concurrent Systems. In: CESAR, 5th International Symposium on Programming, pp. 337\u2013350 (1981)","DOI":"10.1007\/3-540-11494-7_22"},{"issue":"1","key":"2_CR12","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM journal on control and optimization\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM journal on control and optimization"},{"issue":"9","key":"2_CR13","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"},{"issue":"11","key":"2_CR14","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.M.: Think globally, act locally: decentralized supervisory control. IEEE Transactions on Automatic Control\u00a037(11), 1692\u20131708 (1992)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T.S. Yoo","year":"2002","unstructured":"Yoo, T.S., Lafortune, S.: A general architecture for decentralized supervisory control of discrete-event systems. Discrete event dynamic systems, theory & applications\u00a012(3), 335\u2013377 (2002)","journal-title":"Discrete event dynamic systems, theory & applications"}],"container-title":["Lecture Notes in Computer Science","Time for Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13754-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T10:35:03Z","timestamp":1740220503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13754-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642137532","9783642137549"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13754-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}