{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:58Z","timestamp":1725664858542},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:29:28Z","timestamp":1330280968000},"page":"665-684","source":"Crossref","is-referenced-by-count":4,"title":["A UNITY mapping operator for distributed programs"],"prefix":"10.1007","author":[{"given":"Michel","family":"Charpentier","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"35_CR1","series-title":"3rd Annual IEEE Symposium on Logic in Computer Science","first-page":"165","volume-title":"The existence of refinement mappings","author":"M. Abadi","year":"1988","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. In 3rd Annual IEEE Symposium on Logic in Computer Science, pages 165\u2013175, Washington D.C., July 1988. Computer Society Press."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"N. Brown and A. Mokkedem. On mechanizing proofs within a complete proof system for Unity. In Algebraic Methodology and Software Technology, Concordia University of Montr\u00e9al, 1995.","DOI":"10.1007\/3-540-60043-4_67"},{"key":"35_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":"35_CR4","unstructured":"M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Queinnec. Observer pour R\u00e9partir. In Journ\u00e9es du GDR programmation, Grenoble, novembre 1995."},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Queinnec. Abstracting communication to reason about distributed algorithms. In \u00d6zalp Babao\u0122lu and Keith Marzullo, editors, 10th Int'l Workshop on Distributed Algorithms (WDAG'96), volume 1151 of Lecture Notes in Computer Science, pages 89\u2013104, October 1996.","DOI":"10.1007\/3-540-61769-8_7"},{"key":"35_CR6","unstructured":"M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Qu\u00e9innec. R\u00e9partition par observation dans Unity. Technical Report 96-01-R, IRIT, 27 pages, janvier 1996."},{"key":"35_CR7","unstructured":"M. Charpentier, A. El Hadri, and G. Padiou. A Unity-based Algorithm Design Assistant. In Workshop on Tools and, Algorithms for the Construction and, Analysis of Systems, pages 131\u2013145, Aarhus, Denmark, May 1995. BRIGS Notes Series NS-95-2."},{"key":"35_CR8","unstructured":"M. Charpentier, A. El Hadri, and G. Padiou. Preuve Automatique dans un Environnement de D\u00e9veloppement Unity. T.S.I. Technique et Science Informatiques, 15(1), janvier 1996."},{"key":"35_CR9","unstructured":"P. Collette. Design of Compositional Proof Systems Based on Assumption-Commitment Specifications. Application to UNITY. Th\u00e8se de docteur en sciences appliqu\u00e9es, Facult\u00e9 des Sciences Appliqu\u00e9es, Universit'e Catholique de Louvain, June 1994."},{"key":"35_CR10","unstructured":"M. Filali, Ph. Mauran, and G. Padiou. Raffiner pour r\u00e9partir. In Quatri\u00e8mes rencontres du parall\u00e9lisme, Villeneuve D'Ascq, 1992."},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"35_CR12","volume-title":"A Logic for Concurrent Programming","author":"J. Misra","year":"1994","unstructured":"J. Misra. A Logic for Concurrent Programming. Technical report, The University of Texas at Austin, Austin, Texas 78712, April 1994."},{"key":"35_CR13","volume-title":"A Logic for Concurrent Programming","author":"J. Misra","year":"1994","unstructured":"J. Misra. A Logic for Concurrent Programming. Technical report, The University of Texas at Austin, Austin, Texas 78712, September 1994. Chapter 6: Closures Properties."},{"key":"35_CR14","unstructured":"M. Raynal. Algorithmique du parallelisme: le probl\u00e8me de l'exclusion mutuelle. Dunod, 1984."},{"issue":"2","key":"35_CR15","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF01898402","volume":"3","author":"B.A. Sanders","year":"1991","unstructured":"B.A. Sanders. Eliminating the Substitution Axiom from UNITY Logic. Formal Aspects of Computing, 3(2):189\u2013205, April-June 1991.","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"35_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/158439.158441","volume":"25","author":"A. U. Shankar","year":"1993","unstructured":"A. U. Shankar. An Introduction to Assertional Reasoning for Concurrent Systems. ACM Computing Surveys, 25(3):225\u2013262, September 1993.","journal-title":"ACM Computing Surveys"},{"key":"35_CR17","unstructured":"R. T. Udink. Program Refinement, in Unity-like Environments. PhD thesis, Utrecht University, September 1995."},{"key":"35_CR18","doi-asserted-by":"crossref","unstructured":"R.T. Udink and J.N. Kok. On the relation between Unity properties and sequences of states. In J.W de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Semantics: Foundations and Applications, volume 666 of Lecture Notes in Computer Science, pages 594\u2013608, 1993.","DOI":"10.1007\/3-540-56596-5_48"}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:54Z","timestamp":1605629934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}