{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:12Z","timestamp":1725574392829},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_19","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T22:57:55Z","timestamp":1294354675000},"page":"248-262","source":"Crossref","is-referenced-by-count":4,"title":["Logic Based Coordination for Event\u2013Driven Self\u2013healing Distributed Systems"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Montangero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Semini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Semprini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Andrade, L., Fiadeiro, J.L.: Coordination primitives for event-based systems. In: Proceedings of the 1st Int. Workshop on Distributed Event-Based Systems, DEBS 2002 (2002)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-46002-0_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Armoni","year":"2002","unstructured":"Armoni, R., Fix, L., Flaisher, A., Gerth, R., Ginsburg, B., Kanza, T., Landver, A., Mador-Haim, S., Singerman, E., Tiemeyer, A., Vardi, M.Y., Zbar, Y.: The forspec temporal logic: A new temporal property-specification language. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 211\u2013296. Springer, Heidelberg (2002)"},{"key":"19_CR3","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, Reading (1988)"},{"key":"19_CR4","first-page":"270","volume-title":"KR 1998: Principles of Knowledge Representation and Reasoning","author":"T. Costello","year":"1998","unstructured":"Costello, T., Patterson, A.: Quantifiers and operations on modalities and contexts. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 270\u2013281. Morgan Kaufmann, San Francisco (1998)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Dias, M.S., Richardson, D.J.: The role of event description in architecting dependable systems. In: 1st Workshop on Architecting Dependable Systems (WADS 2002), Orlando (May 2002)","DOI":"10.1007\/3-540-45177-3_7"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1014530313153","volume":"9","author":"G. Ferrari","year":"2002","unstructured":"Ferrari, G., Montangero, C., Semini, L., Semprini, S.: Mark, a reasoning kit for mobility. Automated Software Engineering\u00a09(2), 137\u2013150 (2002)","journal-title":"Automated Software Engineering"},{"issue":"2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M.J. Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A.: Impossibility of distributed consensus with one faulty process. Journal of the ACM\u00a032(2), 374\u2013382 (1985)","journal-title":"Journal of the ACM"},{"issue":"3","key":"19_CR8","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR9","unstructured":"Montangero, C., Semini, L.: Distributed states temporal logic. The Computing Research Repository (CoRR): cs.LO\/0304046 (Submitted for pubblication) (2003)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/3-540-48919-3_10","volume-title":"Coordination Languages and Models","author":"C. Montangero","year":"1999","unstructured":"Montangero, C., Semini, L.: Composing Specifications for Coordination. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol.\u00a01594, pp. 118\u2013133. Springer, Heidelberg (1999)"},{"key":"19_CR11","volume-title":"9th International Symposium on Temporal Representation and Reasoning (TIME 2002)","author":"C. Montangero","year":"2002","unstructured":"Montangero, C., Semini, L.: Distributed states logic. In: 9th International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK, July 2002, IEEE CS Press, Los Alamitos (2002)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24634-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T06:11:49Z","timestamp":1592201509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}