{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:52Z","timestamp":1725663472801},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540530657"},{"type":"electronic","value":"9783540465973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53065-7_137","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:55:31Z","timestamp":1330206931000},"page":"604-615","source":"Crossref","is-referenced-by-count":1,"title":["Design and implementation of an exception handling mechanism for communicating sequential processes"],"prefix":"10.1007","author":[{"given":"Val\u00e9rie","family":"Issarny","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"3","key":"55_CR1","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/579.584","volume":"6","author":"K.R. Apt","year":"1984","unstructured":"K.R. Apt and N. Francez. Modeling the distributed termination convention of CSP. ACM transactions on programming languages and systems, 6(3):370\u2013379, July 1984.","journal-title":"ACM transactions on programming languages and systems"},{"key":"55_CR2","unstructured":"J.P. Ban\u00e2tre and V. Issarny. An exception handling mechanism for communicating sequential processes: Design, verification and implementation. Rapport de recherche, INRIA, 1990. En preparation."},{"issue":"8","key":"55_CR3","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/TSE.1986.6312984","volume":"SE-12","author":"R.H. Campbell","year":"1986","unstructured":"R.H. Campbell and B. Randell. Error recovery in asynchronous systems. IEEE transactions on software engineering, SE-12(8):811\u2013826, August 1986.","journal-title":"IEEE transactions on software engineering"},{"issue":"8","key":"55_CR4","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"E.W. Dijkstra. Guarded commands, nondeterminacy, and formal derivation of programs. Communications of the ACM, 18(8):453\u2013457, August 1975.","journal-title":"Communications of the ACM"},{"issue":"4","key":"55_CR5","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/TSE.1984.5010247","volume":"SE-10","author":"G. H. Gehani","year":"1984","unstructured":"G. H. Gehani. Broadcasting sequential processes (bsp). IEEE transactions on software engineering, SE-10(4):343\u2013351, July 1984.","journal-title":"IEEE transactions on software engineering"},{"issue":"8","key":"55_CR6","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666\u2013674, August 1978.","journal-title":"Communications of the ACM"},{"issue":"2","key":"55_CR7","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MS.1987.230705","volume":"17","author":"J.L. Knudsen","year":"1987","unstructured":"J.L. Knudsen. Better exception handling in block structured systems. IEEE Software, 17(2):40\u201349, May 1987.","journal-title":"IEEE Software"},{"key":"55_CR8","unstructured":"R. Levin. Program structures for exceptional condition handling. PhD thesis, Carnegie-Mellon University, June 1977."},{"issue":"6","key":"55_CR9","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1109\/TSE.1979.230191","volume":"SE-5","author":"B.H. Liskov","year":"1979","unstructured":"B.H. Liskov and A. Snyder. Exception handling in CLU. IEEE transactions on software engineering, SE-5(6):546\u2013558, November 1979.","journal-title":"IEEE transactions on software engineering"},{"issue":"2","key":"55_CR10","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/3318.3320","volume":"7","author":"S. Yemini","year":"1985","unstructured":"S. Yemini and D.M. Berry. A modular verifiable exception handling mechanism. ACM transactions on programming languages and systems, 7(2):214\u2013243, April 1985.","journal-title":"ACM transactions on programming languages and systems"}],"container-title":["Lecture Notes in Computer Science","CONPAR 90 \u2014 VAPP IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53065-7_137.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:10:58Z","timestamp":1619572258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53065-7_137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530657","9783540465973"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-53065-7_137","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}