{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:09:44Z","timestamp":1725455384434},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540193661"},{"type":"electronic","value":"9783540392392"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/bfb0019819","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:25:50Z","timestamp":1131859550000},"page":"408-428","source":"Crossref","is-referenced-by-count":3,"title":["Stepwise removal of virtual channels in distributed algorithms"],"prefix":"10.1007","author":[{"given":"Kaisa","family":"Sere","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"30_CR1","unstructured":"Alfred V. Aho, John E. Hopcroft and Jeffrey D. Ullman, Data Structures and Algorithms, Addison-Wesley, 1983."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and R. Kurki-Suonio, Decentralization of Process Nets with Centralized Control, Proc. of the Second ACM Symposium on PoDC, 1983, pp.131\u2013142.","DOI":"10.1145\/800221.806716"},{"key":"30_CR3","unstructured":"R.J.R. Back and R. Kurki-Suonio, A Case Study in Constructing Distributed Algorithms: Distributed Exchange Sort, Proc. of the Finnish Winter School on Theoretical Computer Science, 1984, pp. 1\u201333."},{"key":"30_CR4","unstructured":"R.J.R. Back and R. Kurki-Suonio, Serializability in Distributed Systems with Handshaking, Technical Report, CMU-CS-85-109, 1985."},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"M. Chandy, Concurrent Programming for the Masses, Proc. of the 4th ACM Symposium on PoDC, 1985, pp. 1\u201312.","DOI":"10.1145\/323596.323597"},{"issue":"3","key":"30_CR6","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1145\/5956.5958","volume":"8","author":"M. Chandy","year":"1986","unstructured":"Mani Chandy and Jayadev Misra, An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection, ACM TOPLAS, Vol. 8, No 3, July 1986, pp. 362\u2013343.","journal-title":"ACM TOPLAS"},{"issue":"3","key":"30_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF01661171","volume":"1","author":"K.M. Chandy","year":"1986","unstructured":"K.M. Chandy and J. Misra, Systolic algorithms as programs, Distributed Computing, Vol. 1, No 3, 1986, Springer-Verlag, pp. 177\u2013183.","journal-title":"Distributed Computing"},{"issue":"8","key":"30_CR8","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, Comm. ACM, Vol. 18, No 8, Aug. 1975, pp. 453\u2013457.","journal-title":"Comm. ACM"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"David Gries, The Science of Programming, Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"30_CR10","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall International, 1985."},{"key":"30_CR11","unstructured":"INMOS Ltd., occam Programming Manual, Prentice-Hall International, 1984."},{"issue":"2","key":"30_CR12","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0167-8191(85)90026-2","volume":"2","author":"N.C. Kalra","year":"1985","unstructured":"N.C. Kalra and P.C.P. Bhatt, Parallel algorithms for tree traversals, Parallel Computing, Vol. 2, Number 2, June 1985, North Holland, pp. 163\u2013171.","journal-title":"Parallel Computing"},{"key":"30_CR13","unstructured":"D.E. Knuth, The Art of Computer Programming, Vol. 1: Fundamental Algorithms, Addisson-Wesley, 1968."},{"issue":"2","key":"30_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Leslie Lamport, On interprocess communication, Part I and Part II, Distributed Computing, Vol. 1, No 2, 1986, Springer-Verlag, pp. 77\u2013101.","journal-title":"Distributed Computing"},{"key":"30_CR15","first-page":"510","volume":"224","author":"A. Pnueli","year":"1986","unstructured":"A. Pnueli, Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, LNCS 224, Springer-Verlag, 1986, pp. 510\u2013584.","journal-title":"LNCS"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Kaisa Sere, Stepwise Removal of Virtual Channels in Distributed Algorithms: A Case Study, \u00c5bo Akademi, Reports on computer science and mathematics, Ser. A, No 53, 1987.","DOI":"10.1007\/BFb0019819"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:39:00Z","timestamp":1586551140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019819"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540193661","9783540392392"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0019819","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}