{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:44Z","timestamp":1725663644456},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:36Z","timestamp":1330249836000},"page":"114-124","source":"Crossref","is-referenced-by-count":2,"title":["Error diagnosis in finite communicating systems"],"prefix":"10.1007","author":[{"given":"Anne","family":"Rasse","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"12_CR1","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. SRC 29, Digital Equipment Corporation, August 1988."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"A. Arnold. MEC: a System for Constructing and Analysing Transition Systems. In Proceedings Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, 1989.","DOI":"10.1007\/3-540-52148-8_11"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"E. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic. In 10th Annual Symposium on Principles of Programming Languages, ACM, 1983.","DOI":"10.1145\/567067.567080"},{"issue":"5","key":"12_CR4","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/359104.359108","volume":"22","author":"E. Chang","year":"1979","unstructured":"Ernest Chang and Rosemary Roberts. An Improved Algorithm for Decentralized Extrema-Finding in Circular Configurations of Processes. Communications of the ACM, 22(5):281\u2013283, may 1979.","journal-title":"Communications of the ACM"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"E.A. Emerson and E.M. Clarke. Using branching time logic to synthtize synchronization skeletons. In Sci. Comput. Programming. Volume 2, 1982.","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"12_CR6","volume-title":"Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (Ottawa, Canada)","author":"H. Caravel","year":"1990","unstructured":"Hubert Caravel and Joseph Sifakis. Compilation and Verification of LOTOS Specifications. In L. Logrippo, R. L. Probert, and H. Ural, editors, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (Ottawa, Canada), IFIP, North-Holland, Amsterdam, June 1990."},{"key":"12_CR7","unstructured":"A. Pnueli. Specification and Development in Reactive Systems. In Conf IFIP 86, North-Holland, 1986."},{"key":"12_CR8","unstructured":"Anne Rasse. CLEO: diagnostic des erreurs en XESAR. Th\u00e8se de Doctorat, Institut National Polytechnique de Grenoble, June 1990."},{"key":"12_CR9","volume-title":"Proceedings of the 7th International Symposium on Protocol Specification, Testing and Verification (Zurich)","author":"J. Richier","year":"1987","unstructured":"Jean-Luc Richier, Carlos Rodr\u00edguez, Joseph Sifakis, and Jacques Voiron. Verification in XESAR of the Sliding Window Protocol. In Harry Rudin and Colin H. West, editors, Proceedings of the 7th International Symposium on Protocol Specification, Testing and Verification (Zurich), IFIP, North-Holland, May 1987."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:53Z","timestamp":1605646673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}