{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:15Z","timestamp":1725663855945},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539810"},{"type":"electronic","value":"9783540464990"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_73","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:19:03Z","timestamp":1330190343000},"page":"297-312","source":"Crossref","is-referenced-by-count":12,"title":["Refining interfaces of communicating systems"],"prefix":"10.1007","author":[{"given":"Ed","family":"Brinksma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fredrik","family":"Orava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"19_CR1","unstructured":"L. Aceto and M. Hennessy. Towards action-refinement in process algebras. Technical Report 3\/88, Department of Computer Science, University of Sussex, 1988."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"R.J.R. Back. A method for refining atomicity in parallel algorithms. In Proc. PARLE 89, volume 365 of Lecture Notes in Computer Science, pages 199\u2013216, Springer Verlag, 1989.","DOI":"10.1007\/3-540-51285-3_42"},{"issue":"3","key":"19_CR3","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"S.D. Brookes and A.W. Roscoe. An improved failures model for communicating processes. In Brookes, Roscoe, and Winskel, editors, Proc. Seminar on Concurrency, 1984, volume 197 of Lecture Notes in Computer Science, pages 268\u2013280. Springer Verlag, 1985.","DOI":"10.1007\/3-540-15670-4_14"},{"key":"19_CR5","unstructured":"CCITT. CCITT Recomendation I.451:ISDN user-network interface layer 3 specification, 1985."},{"issue":"4","key":"19_CR6","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1145\/6110.214400","volume":"3","author":"C.-H. Chow","year":"1985","unstructured":"C.-H. Chow, M. Gouda, and S. Lam. A discipline for constructing multiphase communication protocols. ACM Transactions on Computer Systems, 3(4):315\u2013343, 1985.","journal-title":"ACM Transactions on Computer Systems"},{"key":"19_CR7","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"N. R de","year":"1984","unstructured":"R. de Nicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83\u2013133, 1984.","journal-title":"Theoretical Computer Science"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"R. Gorrieri, S. Marchetti, and U. Montanari. A 2CCS: A simple extension of CCS for handling atomic actions. In CAAP '88, volume 299 of Lecture Notes in Computer Science, pages 258\u2013270. Springer Verlag, 1988.","DOI":"10.1007\/BFb0026109"},{"key":"19_CR9","unstructured":"R.J. Glabbeek and W.P. Weijland. Refinement in branching time semantics. Technical Report CS-R8922, CWI, 1989."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"19_CR11","volume-title":"Compositional Verification of Distributed Systems","author":"B. Jonsson","year":"1987","unstructured":"B. Jonsson. Compositional Verification of Distributed Systems. PhD thesis, Dept. of Computer Systems, Uppsala University, Sweden, Uppsala, Sweden, 1987. Available as report DoCS 87\/09."},{"issue":"2","key":"19_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"L. Lamport. On interprocess communication Part I: Basic formalism. Distributed Computing, 1(2):77\u201385, 1986.","journal-title":"Distributed Computing"},{"issue":"2","key":"19_CR13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF01786631","volume":"4","author":"L. Lamport","year":"1990","unstructured":"L. Lamport. A theorem on atomicity in distributed algorithms. Distributed Computing, 4(2):59\u201368, 1990.","journal-title":"Distributed Computing"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proc. 6:th ACM Symp. on Principles of Distributed Computing, Vancouver, Canada, pages 137\u2013151, 1987.","DOI":"10.1145\/41840.41852"},{"issue":"1","key":"19_CR15","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.R. Olderog","year":"1986","unstructured":"E.R. Olderog and C.A.R. Hoare. Specification-oriented semantics for communicating processes. Acta Informatica, 23(1):9\u201366, 1986.","journal-title":"Acta Informatica"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"F.A. Stomp and W.P de Roever. Designing distributed algorithms by means of sequentially phased reasoning. Technical Report 89-8, University of Nijmegen, 1989.","DOI":"10.1007\/3-540-51687-5_47"},{"key":"19_CR17","unstructured":"P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors. The Formal Specification Language LOTOS. North-Holland, 1989."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_73.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T22:33:31Z","timestamp":1640903611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3540539816_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}