{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:36Z","timestamp":1725663516772},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55092-5_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:27:29Z","timestamp":1330194449000},"page":"307-326","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Protocol design by layered decomposition"],"prefix":"10.1007","author":[{"given":"Wil","family":"Janssen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Job","family":"Zwiers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt, E.-R. Olderog, Verification of sequential and concurrent programs, Springer, 1991.","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"17_CR2","unstructured":"P.A. Bernstein, V. Hadzilacos and N. Goodman, Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"17_CR4","unstructured":"F. Critian, H. Aghili, R. Strong, D. Dolev, Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement, Proceedings 15th International Symposium on Fault-Tolerant Computing, 1985."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"T. Elrad and N. Francez, Decomposition of distributed programs into communication closed layers, Science of Computer Programming 2, 1982.","DOI":"10.1016\/0167-6423(83)90013-8"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"R.T. Gallager, P.A. Humblet and P.M. Spira, A distributed algorithm for minimum-weight spanning trees, ACM TOPLAS 5-1, 1983.","DOI":"10.1145\/357195.357200"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek and U. Goltz, Equivalence Notions for Concurrent Systems and Refinement of Actions, Arbeitspapiere der GMD, Number 366, GMD, 1989.","DOI":"10.1007\/3-540-51486-4_71"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"J. Hooman, Specification and Compositional Verification of Real-Time Systems, Ph.D. Thesis, Eindhoven University of Technology, 1991.","DOI":"10.1007\/3-540-54947-1"},{"key":"17_CR9","unstructured":"W. Janssen, M. Poel and J. Zwiers, Consistent alternatives of parallelism with conflicts, Memorandum INF-91-15, University of Twente."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel and J. Zwiers, Action Systems and Action Refinement in the Development of Parallel Systems, an Algebraic Approach, proceedings CONCUR '91, Springer LNCS 527, 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, K. Sikkel, and J. Zwiers, The Primordial Soup Algorithm, A Systematic Approach to the Specification and Design of Parallel Parsers, Proceedings Computing Science in the Netherlands Conference, 1991.","DOI":"10.3115\/992066.992127"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"L. Lamport, The Hoare Logic of concurrent programs, Acta Informatica 14, 1980.","DOI":"10.1007\/BF00289062"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"S. Owicki and D. Gries, An axiomatic proof technique for parallel programs, Acta Informatica 6, 1976.","DOI":"10.1007\/BF00268134"},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt, Modelling Concurrency with Partial orders, International Journal of Parallel Programming 15, 1986, pp. 33\u201371.","journal-title":"International Journal of Parallel Programming"},{"key":"17_CR15","unstructured":"M. Raynal, Distributed Algorithms and Protocols, John Wiley & Sons, 1988."},{"key":"17_CR16","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/TIT.1983.1056620","volume":"IT-29","author":"A. Segall","year":"1983","unstructured":"A. Segall, Distributed Network Protocols, IEEE Transactions on Information Theory, Vol. IT-29, 1983, pp. 23\u201335.","journal-title":"IEEE Transactions on Information Theory"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"F.A. Stomp and W.P. de Roever, Designing distributed algorithms by means of formal sequentially phased reasoning, Proc. of the 3rd International Workshop on Distributed Algorithms, Nice, LNCS 392, Eds. J.-C. Bermond and M. Raynal, 1989, pp. 242\u2013253.","DOI":"10.1007\/3-540-51687-5_47"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"J. Zwiers and W.P. de Roever, Predicates are Predicate Transformers: a unified theory for concurrency, Proc. of the conference on Principles of Distributed Computing, 1989.","DOI":"10.1145\/72981.73000"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55092-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:15:41Z","timestamp":1578507341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_17"}},"subtitle":["A compositional approach"],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550921","9783540466925"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}