{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:42Z","timestamp":1725663762853},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551607"},{"type":"electronic","value":"9783540467625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55160-3_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:22Z","timestamp":1330249822000},"page":"50-63","source":"Crossref","is-referenced-by-count":0,"title":["On the UNITY design decisions"],"prefix":"10.1007","author":[{"given":"Beverly","family":"Sanders","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/7351.7478","volume":"5","author":"K. Birman","year":"1987","unstructured":"K. Birman and T. Joseph. Reliable communication in the presence of failures. ACM Transactions on Computer Systems, 5(1):47\u201376, February 1987.","journal-title":"ACM Transactions on Computer Systems"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"issue":"3","key":"5_CR3","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1109\/71.80163","volume":"1","author":"H. C. Cunningham","year":"1990","unstructured":"H. C. Cunningham and G.-C. Roman. A UNITY-style programming logic for shared data-space programs. IEEE Transactions on Parallel and Distributed Systems, 1(3):365\u2013376, July 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Edsger W. Dijkstra and Carel S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"R. Gerth and Amir Pnueli. Rooting UNITY. In Proceedings of 5th International Workshop on Software Specification and Design, Pittsburgh, 1989.","DOI":"10.1145\/75199.75202"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01784885","volume":"3","author":"J. H. Halpern","year":"1989","unstructured":"Joseph H. Halpern and Ronald Fagin. Modelling knowledge and action in distributed systems. Distributed Computing, 3:159\u2013177, 1989.","journal-title":"Distributed Computing"},{"issue":"3","key":"5_CR7","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Y. Halpern","year":"1990","unstructured":"Joseph Y. Halpern and Yoram Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3):549\u2013587, July 1990.","journal-title":"Journal of the ACM"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Leslie Lamport and Fred Schneider. Formal foundation for specification and verification. In M. Paul and H. J. Siegert, editors, Distributed Systems: Methods and Tools for Specification, pages 203\u2013286. Springer-Verlag, 1985. Lecture Notes in Computer Science 190.","DOI":"10.1007\/3-540-15216-4_15"},{"issue":"7","key":"5_CR9","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1109\/32.56101","volume":"16","author":"S. S. Lam","year":"1990","unstructured":"Simon S. Lam and A. Udaya Shankar. A relational notation for state-transition systems. IEEE Transactions on Software Enginnering, 16(7):755\u2013775, July 1990.","journal-title":"IEEE Transactions on Software Enginnering"},{"key":"5_CR10","unstructured":"Jayadev Misra. Auxiliary variables. Notes on UNITY: 15\u201390, 1990."},{"key":"5_CR11","unstructured":"Jayadev Misra. Soundness of the substitution axiom. Notes on UNITY: 14\u201390, 1990."},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Susan Owicki and David Gries. An axiomatic proof technique for parallel programs I. Acta Informatica, 6(1):319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"5_CR13","unstructured":"Jan Pachl. Three definitions of leads-to for UNITY. Notes on UNITY: 23\u201390, 1990."},{"key":"5_CR14","unstructured":"Josyula R. Rao. On a notion of completeness for the leads-to. Notes on UNITY 24\u201390, 1991."},{"key":"5_CR15","unstructured":"Josyula R. Rao. Reasoning about probabilistic algorithms. In Proceedings of 9th ACM Symposium on Principles of Distributed Computing, 1991."},{"issue":"12","key":"5_CR16","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1109\/32.62445","volume":"16","author":"G.-C. Roman","year":"1990","unstructured":"G.-C. Roman and H. C. Cunningham. Mixed programming metaphors in a shared data-space model of concurrency. IEEE Transactions on Software Engineering, 16(12):1361\u20131373, December 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR17","volume-title":"Stepwise refinement of mixed specifications of concurrent programs","author":"B. Sanders","year":"1990","unstructured":"Beverly Sanders. Stepwise refinement of mixed specifications of concurrent programs. In M. Broy and C.B. Jones, editors, Proceedings of the IFIP Working Conference on Programming Concepts and Methods, Israel, 1990. Elsiever Science Publishers."},{"issue":"2","key":"5_CR18","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF01898402","volume":"3","author":"B. Sanders","year":"1991","unstructured":"Beverly Sanders. Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing, 3(2):189\u2013205, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Beverly Sanders. A predicate transformer approach to knowledge and knowledge-based protocols. In Proceedings of the 10th ACM Symposium on Principles of Distributed Computing, Montreal, 1991.","DOI":"10.1145\/112600.112619"}],"container-title":["Lecture Notes in Computer Science","Reasearch Directions in High-Level Parallel Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55160-3_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:47Z","timestamp":1605646667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55160-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551607","9783540467625"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-55160-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}