{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:19:17Z","timestamp":1743027557981,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214608"},{"type":"electronic","value":"9783642214615"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21461-5_13","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T09:25:36Z","timestamp":1307697936000},"page":"198-212","source":"Crossref","is-referenced-by-count":3,"title":["Global State Estimates for Distributed Systems"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Kalyon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tristan","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herv\u00e9","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Massart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Program.\u00a019(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/BFb0032741","volume-title":"Proceedings of the 4th International Symposium on Static Analysis SAS 1997","author":"B. Boigelot","year":"1997","unstructured":"Boigelot, B., Godefroid, P., Willems, B., Wolper, P.: The power of QDDs. In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol.\u00a01302, pp. 172\u2013186. Springer, Heidelberg (1997)"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"13_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C. Cassandras","year":"1999","unstructured":"Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-540-95891-8_16","volume-title":"SOFSEM 2009: Theory and Practice of Computer Science","author":"T. Chatain","year":"2009","unstructured":"Chatain, T., Gastin, P., Sznajder, N.: Natural specifications yield decidability for distributed synthesis of asynchronous systems. In: Nielsen, M., Ku\u010dera, A., Miltersen, P.B., Palamidessi, C., T\u016fma, P., Valencia, F. (eds.) SOFSEM 2009. LNCS, vol.\u00a05404, pp. 141\u2013152. Springer, Heidelberg (2009)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1023\/A:1008335115538","volume":"10","author":"R. Debouk","year":"2000","unstructured":"Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated decentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamical Systems: Theory and Applications\u00a010, 33\u201379 (2000)","journal-title":"Discrete Event Dynamical Systems: Theory and Applications"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/11539452_34","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"B. Genest","year":"2005","unstructured":"Genest, B.: On implementation of global concurrent systems with local asynchronous controllers. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 443\u2013457. Springer, Heidelberg (2005)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"H\u00e9louet, L., Gazagnaire, T., Genest, B.: Diagnosis from scenarios. In: Proc. of the 8th Int. Workshop on Discrete Events Systems, WODES 2006, pp. 307\u2013312 (2006)","DOI":"10.1109\/WODES.2006.1678447"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-02652-2_11","volume-title":"Model Checking Software","author":"A. Heu\u00dfner","year":"2009","unstructured":"Heu\u00dfner, A., Le Gall, T., Sutre, G.: Extrapolation-based path invariants for abstraction refinement of fifo systems. In: P\u0103s\u0103reanu, C.S. (ed.) Model Checking Software. LNCS, vol.\u00a05578, pp. 107\u2013124. Springer, Heidelberg (2009)"},{"key":"13_CR11","series-title":"LNCS","first-page":"194","volume-title":"FMOODS\/FORTE 2011","author":"G. Kalyon","year":"2011","unstructured":"Kalyon, G., Le Gall, T., Marchand, H., Massart, T.: Global state estimates for distributed systems (version with proofs). In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE 2011. LNCS, vol.\u00a06722, pp. 194\u2013203. Springer, Heidelberg (2011), http:\/\/hal.inria.fr\/inria-00581259\/"},{"issue":"7","key":"13_CR12","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/11784180_17","volume-title":"Algebraic Methodology and Software Technology","author":"T. Gall Le","year":"2006","unstructured":"Le Gall, T., Jeannet, B., J\u00e9ron, T.: Verification of communication protocols using abstract interpretation of FIFO queues. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 204\u2013219. Springer, Heidelberg (2006)"},{"issue":"8","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1109\/TAC.2007.902761","volume":"52","author":"F. Lin","year":"2007","unstructured":"Lin, F., Rudie, K., Lafortune, S.: Minimal communication for essential transitions in a distributed discrete-event system. Trans. on Automatic Control\u00a052(8), 1495\u20131502 (2007)","journal-title":"Trans. on Automatic Control"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Massart, T.: A calculus to define correct tranformations of lotos specifications. In: FORTE 1991. IFIP Transactions, vol.\u00a0C-2, pp. 281\u2013296 (1991)","DOI":"10.1016\/B978-0-444-89402-1.50029-1"},{"key":"13_CR16","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Proceedings of the Workshop on Parallel and Distributed Algorithms, pp. 215\u2013226 (1989)"},{"key":"13_CR17","unstructured":"The McScM library (2009), http:\/\/altarica.labri.fr\/forge\/projects\/mcscm\/wiki\/"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Ricker, L., Caillaud, B.: Mind the gap: Expanding communication options in decentralized discrete-event control. In: Conference on Decision and Control (2007)","DOI":"10.1109\/CDC.2007.4434935"},{"issue":"2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinaamohideen, K., Teneketzis, D.: Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology\u00a04(2), 105\u2013124 (1996)","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"9","key":"13_CR20","doi-asserted-by":"publisher","first-page":"1489","DOI":"10.1109\/TAC.2004.834116","volume":"49","author":"S. Tripakis","year":"2004","unstructured":"Tripakis, S.: Decentralized control of discrete event systems with bounded or unbounded delay communication. IEEE Trans. on Automatic Control\u00a049(9), 1489\u20131501 (2004)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Xu, S., Kumar, R.: Distributed state estimation in discrete event systems. In: ACC 2009: Proc. of the 2009 conference on American Control Conference, pp. 4735\u20134740 (2009)","DOI":"10.1109\/ACC.2009.5160029"}],"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-21461-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:20:06Z","timestamp":1560255606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21461-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214608","9783642214615"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21461-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}