{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:39Z","timestamp":1725664239597},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580430"},{"type":"electronic","value":"9783540484233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58043-3_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:09:59Z","timestamp":1330250999000},"page":"622-684","source":"Crossref","is-referenced-by-count":6,"title":["Partial order based design of concurrent systems"],"prefix":"10.1007","author":[{"given":"Job","family":"Zwiers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil","family":"Janssen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt and E.-R. Olderog. Verification of sequential and concurrent programs. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"15_CR2","unstructured":"P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987."},{"key":"15_CR3","unstructured":"O. Boruvka. O jist\u00e9m probl\u00e9mu minim\u00e1ln\u00edm (in czech). Pr\u00e1ca Moravsk\u00e9 P\u0159\u00edrodov\u011bdeck\u00e9 Spole\u010dnosti, 3, 1926."},{"key":"15_CR4","first-page":"17","volume":"12","author":"R.J.R. Back","year":"1991","unstructured":"R.J.R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12:17\u201330, 1991.","journal-title":"Structured Programming"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"C. Chou and E. Gafni. Understanding and verifying distributed algorithms using stratified decomposition. In Proc. 7th ACM Symposium on Principles of Distributed Computing. ACM, 1988.","DOI":"10.1145\/62546.62556"},{"key":"15_CR6","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":"15_CR7","unstructured":"W.P. de Roever. The quest for compositionality \u2014 a survey of assertion-based proof systems for concurrent programs, Part I: concurrency based on shared variables. In Proceedings of the IFIP Working Conference 1985: The role of abstract models in computer science, pages 181\u2013207. North-Holland, 1985."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"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":"15_CR9","doi-asserted-by":"crossref","unstructured":"M. Fokkinga, M. Poel, and J. Zwiers. Modular completeness for communication closed layers. In Eike Best, editor, Proceedings CONCUR '93, Lecture Notes in Computer Science 715, pages 50\u201365. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_5"},{"issue":"1","key":"15_CR10","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/357195.357200","volume":"5","author":"R.T. Gallager","year":"1983","unstructured":"R.T. Gallager, P.A. Humblet, and P.M. Spira. A distributed algorithm for minimumweight spanning trees. ACM TOPLAS, 5(1):66\u201377, Jan 1983.","journal-title":"ACM TOPLAS"},{"key":"15_CR11","unstructured":"J. L. Gischer. Partial Orders and the Axiomatic Theory of Shuffle. PhD thesis, Stanford University, 1984."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"R. Gerth and L. Shira. On proving communication closedness of distributed layers. In Proc. 6th Conference on Foundations of Software Technology and Theoretical Computer Science, 1986.","DOI":"10.1007\/3-540-17179-7_20"},{"key":"15_CR13","unstructured":"David Harel. Statecharts, a visual approach to complex systems. Technical Report CS86-02, Weizmann Institute of Science, March 1986."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"J. Hooman and W.P. de Roever. The quest goes on: a survey of proof systems for partial correctness of CSP. In Current Trends in Concurrency, pages 343\u2013395. LNCS 224, Springer-Verlag, 1986.","DOI":"10.1007\/BFb0027044"},{"key":"15_CR15","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare. Proofs of correctness of data representations. Acta Informatica, 1:271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"15_CR16","unstructured":"C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1990."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Action systems and action refinement in the development of parallel systems. In Proc. of CONCUR '91, pages 298\u2013316. Springer-Verlag, LNCS 527, 1991.","DOI":"10.1007\/3-540-54430-5_96"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"W. Janssen and J. Zwiers. From sequential layers to distributed processes, deriving a distributed minimum weight spanning tree algorithm, (extended abstract). In Proc. 11th ACM Symposium on Principles of Distributed Computing, pages 215\u2013227. ACM, 1992.","DOI":"10.1145\/135419.135461"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"W. Janssezn and J. Zwiers. Protocol design by layered decomposition, a compositional approach. In J.Vytopil, editor,Proc.Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 307\u2013326. Springer-Verlag, LNCS 571, 1992.","DOI":"10.1007\/3-540-55092-5_17"},{"key":"15_CR20","unstructured":"W. Janssen and J. Zwiers. Specifying and proving communication closedness in protocols. Technical Report 93-23, University of Twente, 1993."},{"key":"15_CR21","unstructured":"W. Janssen and J. Zwiers. Specifying and proving communication closedness in protocols. In A. Dantine, G. Leduc, and P. Wolper, editors, Proceedings 13th IFIP symp. on Protocol Specification, Testing and Verification, pages 323\u2013339. Elsevier Science Publishers, 1993."},{"key":"15_CR22","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":"15_CR23","unstructured":"N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic Transactions. Morgan Kaufman Publishers, 1994."},{"key":"15_CR24","unstructured":"L.D. Loyens. A design method for parallel programs. PhD thesis, Eindhoven University of Technology, 1992."},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Basic notions of trace theory. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Proc. of the REX workshop on Linear Time, Branching Time and Partial order in Logics and Models for Concurrency, Noordwijkerhout 1988, Springer LNCS 354, pages 285\u2013363, 1989.","DOI":"10.1007\/BFb0013025"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"15_CR27","unstructured":"Carroll Morgan. Programming from Specifications. Prentice-Hall, 1990."},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Wojciech Penczek. Axiomatizations of temporal logics on trace systems. In P. Enjalbert, A. Finkel, and K. Wagner, editors, LNCS 665, Proc. of STACS, pages 452\u2013462. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56503-5_45"},{"issue":"15","key":"15_CR29","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"1","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Modelling concurrency with partial orders. International Journal of Parallel Programming, 1(15):33\u201371, 1986.","journal-title":"International Journal of Parallel Programming"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"M. Poel and J. Zwiers. Layering techniques for development of parallel systems. In Proc. CAV, 1992.","DOI":"10.1007\/3-540-56496-9_3"},{"key":"15_CR31","unstructured":"F.A. Stomp and W.-P. de Roever. A correctness proof of a distributed minimum-weight spanning tree algorithm (extended abstract). In Proc. of the 7th ICDCS, 1987."},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"F.A. Stomp and W.P. de Roever. Designing distributed algorithms by means of formal sequentially phased reasoning. In J.-C. Bermond and M. Raynal, editors, Proc. of the 3rd International Workshop on Distributed Algorithms, Nice, LNCS 392, pages 242\u2013253. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51687-5_47"},{"key":"15_CR33","unstructured":"K. Sere. Stepwise Derivation of Parallel Algorithms. PhD thesis, \u00c5bo Akademi, 1990."},{"key":"15_CR34","unstructured":"F.A. Stomp. Design and Verification of Distributed Network Algorithms: Foundations and Applications. PhD thesis, Eindhoven University, 1989."},{"key":"15_CR35","unstructured":"A. S. Tanenbaum. Computer Networks. Prentice-Hall, second edition, 1988."},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"R.E. Tarjan. Data Structures and Network Algorithms. Society for Industrial and Apllied Mathematics, 1983.","DOI":"10.1137\/1.9781611970265"},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"J. Welch, L. Lamport, and N. Lynch. A lattice-structured proof technique applied to a minimum weight spanning tree algorithm. In Proc. of the 7th Annual Symp. on Principles of Distributed Computing. ACM, 1988.","DOI":"10.21236\/ADA198312"},{"key":"15_CR38","doi-asserted-by":"crossref","unstructured":"J. Zwiers, W.-P. de Roever, and P. van Emde Boas. Compositionality and concurrent networks: Soundness and completeness of a proof system. In Proc. of ICALP '85, Springer LNCS 194, pages 509\u2013519. Springer-Verlag, 1985.","DOI":"10.1007\/BFb0015776"},{"key":"15_CR39","unstructured":"J. Zwiers. Compositionality, Concurrency and Partial Correctness. Springer LNCS 321, 1989."},{"key":"15_CR40","volume-title":"Proc. of the REX Workshop on Real Time: Theory and Practice","author":"J. Zwiers","year":"1991","unstructured":"J. Zwiers. Layering and action refinement for timed systems. In Proc. of the REX Workshop on Real Time: Theory and Practice, Mook, the Netherlands, June 3\u20137 1991. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","A Decade of Concurrency Reflections and Perspectives"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58043-3_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:16:41Z","timestamp":1605629801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58043-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580430","9783540484233"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-58043-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}