{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:07Z","timestamp":1742600407866,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606307"},{"type":"electronic","value":"9783540485094"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60630-0_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:49:47Z","timestamp":1330289387000},"page":"238-263","source":"Crossref","is-referenced-by-count":2,"title":["Layers as knowledge transitions in the design of distributed systems"],"prefix":"10.1007","author":[{"given":"Wil","family":"Janssen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","unstructured":"G. Andrews. Concurrent Programming \u2014 Principles and Practice. The Benjamin\/Cummings Publishing Company, 1991."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"K. Apt and E.-R. Olderog. Verification of sequential and concurrent programs. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"12_CR3","first-page":"17","volume":"12","author":"R. Back","year":"1991","unstructured":"R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12:17\u201330, 1991.","journal-title":"Structured Programming"},{"key":"12_CR4","unstructured":"P. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"R. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"C. Chou and E. Gafni. Understanding and verifying distributed algorithms using stratified decomposition. In Proceeding 7th ACM Symposium on Principles of Distributed Computing, 1988.","DOI":"10.1145\/62546.62556"},{"key":"12_CR7","unstructured":"F. Cristian, H. Aghili, R. Strong, and D. Dolev. Atomic broadcast: From simple message diffusion to byzantine agreement. In Proceedings 15th International Symposium on Fault-Tolerant Computing, 1985."},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"T. Elrad and N. Francez. Decomposition of distributed programs into communication closed layers. Science of Computer Programming, 2:155\u2013173, 1982.","journal-title":"Science of Computer Programming"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Knowledge-based programs. In Proceedings ACM Symposium on Principles of Distributed Computing. ACM, 1995.","DOI":"10.1145\/224964.224982"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, 1995. To appear.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"issue":"3","key":"12_CR11","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Halpern","year":"1990","unstructured":"J. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549\u2013587, 1990.","journal-title":"Journal of the ACM"},{"issue":"3","key":"12_CR12","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"J. Halpern","year":"1992","unstructured":"J. Halpern and L. Zuck. A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols. Journal of the ACM, 39(3):449\u2013478, 1992.","journal-title":"Journal of the ACM"},{"key":"12_CR13","unstructured":"W. Janssen. Layered Design of Parallel Systems. PhD thesis, University of Twente, 1994."},{"key":"12_CR14","unstructured":"W. Janssen. Layers as knowledge transitions in the design of distributed systems. Technical Report 94-71, University of Twente, 1994."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Action systems and action refinement in the development of parallel systems. In Proceedings of CONCUR '91, LNCS 527, pages 298\u2013316. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"W. Janssen and J. Zwiers. Protocol design by layered decomposition, a compositional approach. In J. Vytopil, editor, Proceedings Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, pages 307\u2013326. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55092-5_17"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"B. Jonsson. Modular verification of asynchronous networks. In Proceedings 6th ACM Symposium on Principles of Distributed Computing, pages 152\u2013166, 1987.","DOI":"10.1145\/41840.41853"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"S. Katz and D. Peled. Verification of distributed programs using representative interleaving sequences. Distributed Computing, 6(2), 1992.","DOI":"10.1007\/BF02252682"},{"key":"12_CR19","unstructured":"N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic Transactions. Morgan Kaufman Publishers, 1994."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"N. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proceedings 6th ACM Symposium on Principles of Distributed Computing, pages 137\u2013151, 1987.","DOI":"10.1145\/41840.41852"},{"key":"12_CR21","unstructured":"J.-J. Meyer, W. van der Hoek, and G. Vreeswijk. Epistemic logic for computer science: A tutorial. Bulletin of the EATCS, numbers 44 and 45, 1991."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Y. Moses and O. Kislev. Knowledge-oriented programming, (extended abstract). In Proceedings 12th ACM Symposium on Principles of Distributed Computing, pages 261\u2013270. ACM, 1993.","DOI":"10.1145\/164051.164080"},{"key":"12_CR23","unstructured":"S. Mullender, editor. Distributed Systems. Addison-Wesley, second edition, 1993."},{"key":"12_CR24","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 6:319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"M. Poel and J. Zwiers. Layering techniques for development of parallel systems. In G. v. Bochmann and D. Probst, editors, Proceedings Computer Aided Verification, LNCS 663, pages 16\u201329. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_3"},{"key":"12_CR26","unstructured":"M. Raynal and J.-M. Helary. Synchronization and control of distributed systems and programs. John Wiley & Sons, 1990."},{"key":"12_CR27","unstructured":"F. Stomp and W.-P. de Roever. A correctness proof of a distributed minimum-weight spanning tree algorithm (extended abstract). In Proceedings of the 7th ICDCS, 1987."},{"issue":"6","key":"12_CR28","doi-asserted-by":"crossref","first-page":"716","DOI":"10.1007\/BF03259394","volume":"6","author":"F. Stomp","year":"1994","unstructured":"F. Stomp and W.-P. de Roever. A principle for sequential reasoning about distributed systems. Formal Aspects of Computing, 6(6):716\u2013737, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"M. van Hulst and J.-J. Meyer. An epistemic proof system for parallel processes. In R. Fagin, editor, Proceedings 5th TARK, pages 243\u2013254. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1453-5.50021-0"},{"key":"12_CR30","unstructured":"M. Wieczorek. Locative Temporal Logic and Distributed Real-Time Systems. PhD thesis, Catholic University of Nijmegen, 1994."},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"J. Zwiers and W. Janssen. Partial order based design of concurrent systems. In J. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Proceedings of the REX School\/Symposium \u201cA Decade of Concurreny\u201d,m Noordwijkerhout, 1993, LNCS 803, pages 622\u2013684. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58043-3_30"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60630-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:06:56Z","timestamp":1742598416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60630-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606307","9783540485094"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-60630-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}