{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:39:08Z","timestamp":1754487548754},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643593"},{"type":"electronic","value":"9783540697565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64359-1_745","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:41:00Z","timestamp":1330299660000},"page":"820-832","source":"Crossref","is-referenced-by-count":3,"title":["Tailoring UNITY to distributed program design"],"prefix":"10.1007","author":[{"given":"Michel","family":"Charpentier","sequence":"first","affiliation":[]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Mauran","sequence":"additional","affiliation":[]},{"given":"G\u00e9rard","family":"Padiou","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Qu\u00e9innec","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"82_CR1","unstructured":"M. Accetta, R. Baron, D. Golub, R.F. Rashid, A. Tevanian, and M. Young. Mach: a new kernel foundation for UNIX development. In Summer USENIX Conf., pages 93\u2013112, 1986."},{"issue":"1","key":"82_CR2","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/42192.42324","volume":"10","author":"G.R. Andrews","year":"1988","unstructured":"G.R. Andrews, R.A. Olsson, M. Coffin, I. Elshoff, K. Nilsen, T. Purdin, and G. Townsend. An overview of the SR language and implementation. ACM Transactions on Programming Languages and Systems, 10(1):51\u201386, January 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"82_CR3","doi-asserted-by":"crossref","unstructured":"A. Arora and M.G. Gouda. Delay-Insensitive stabilization. In S. Ghosh and T. Herman, editors, Self-Stabilizing Systems, volume 7 of International informatics series, pages 95\u2013109. Carleton university press, 1997.","DOI":"10.1515\/9780773591141-008"},{"key":"82_CR4","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":"82_CR5","doi-asserted-by":"crossref","unstructured":"M. Charpentier. A UNITY mapping operator for distributed programs. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, Fourth International Symposium of Formal Methods Europe (FME'97), volume 1313 of Lecture Notes in Computer Science, pages 665\u2013684. Springer-Verlag, September 1997.","DOI":"10.1007\/3-540-63533-5_35"},{"key":"82_CR6","volume-title":"Assistance \u00e1 la R\u00e9partition de Syst\u00e9mes R\u00e9actifs","author":"M. Charpentier","year":"1997","unstructured":"M. Charpentier. Assistance \u00e1 la R\u00e9partition de Syst\u00e9mes R\u00e9actifs. Th\u00e9se de doctorat, Institut National Polytechnique de Toulouse, France, November 1997."},{"key":"82_CR7","doi-asserted-by":"crossref","unstructured":"M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Qu\u00e9innec. Abstracting communication to reason about distributed algorithms. In O. Babaoglu and K. Marzullo, editors, Tenth International Workshop on Distributed Algorithms (WDAG'96), volume 1151 of Lecture Notes in Computer Science, pages 89\u2013104. Springer-Verlag, October 1996.","DOI":"10.1007\/3-540-61769-8_7"},{"key":"82_CR8","volume-title":"Tailoring UNITY to distributed program design","author":"M. Charpentier","year":"1997","unstructured":"M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Qu\u00e9innec. Tailoring UNITY to distributed program design. Technical report 97-55-R, Institut de Recherche en Informatique de Toulouse, France, November 1997. 21 pages. Available as http:\/\/www.enseeiht.fr\/Recherche\/Info\/Logiciel\/mvr\/publis\/RR_97_55_R.ps."},{"key":"82_CR9","first-page":"26","volume-title":"International workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'97)","author":"M. Charpentier","year":"1997","unstructured":"M. Charpentier and G. Padiou. Specification and verification of the ATMR protocol using UNITY. In D. M\u00e9ry, editor, International workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'97), pages 26\u201336, University of Geneva, Switzerland, April 1997."},{"issue":"11","key":"82_CR10","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E.W. Dijkstra","year":"1974","unstructured":"E.W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communications of the ACM, 17(11):643\u2013644, November 1974.","journal-title":"Communications of the ACM"},{"key":"82_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":"82_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01782776","volume":"2","author":"F. Mattern","year":"1987","unstructured":"F. Mattern. Algorithms for distributed termination detection. Distributed Computing, 2:161\u2013175, 1987.","journal-title":"Distributed Computing"},{"key":"82_CR13","unstructured":"J. Misra. A Logic for Concurrent Programming. Technical Report (\u201cNew UNITY\u201d), Department of Computer Science, University of Texas at Austin, 1994."},{"key":"82_CR14","unstructured":"M. Raynal. Algorithmique du parall\u00e9lisme: le probl\u00e9me de l'exclusion mutuelle. Dunod, 1984."},{"key":"82_CR15","doi-asserted-by":"crossref","unstructured":"M. Rozier and J. L. Martins. The Chorus distributed operating system: some design issues. In Y. Paker, J.-P. Ban\u00e2tre, and M. Bozyigit, editors, Distributed Operating Systems, pages 261\u2013287. Springer Verlag, January 1986.","DOI":"10.1007\/978-3-642-46604-5_10"},{"key":"82_CR16","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/BF01209623","volume":"30","author":"A.K. Singh","year":"1993","unstructured":"A.K. Singh. Program refinement in fair transition systems. Acta Informatica, 30:503\u2013535, May 1993.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64359-1_745.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:30:36Z","timestamp":1687289436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64359-1_745"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643593","9783540697565"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-64359-1_745","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}