{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:08:55Z","timestamp":1648818535357},"reference-count":19,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.55.10","type":"journal-article","created":{"date-parts":[[2011,6,17]],"date-time":"2011-06-17T22:01:08Z","timestamp":1308348068000},"page":"155-165","source":"Crossref","is-referenced-by-count":4,"title":["Perspicuity and Granularity in Refinement"],"prefix":"10.4204","volume":"55","author":[{"given":"Eerke","family":"Boiten","sequence":"first","affiliation":[{"name":"School of Computing, University of Kent"}]}],"member":"2720","published-online":{"date-parts":[[2011,6,17]]},"reference":[{"key":"Abrial10","doi-asserted-by":"crossref","volume-title":"Modelling in Event-B","author":"J.-R. Abrial","year":"2010","DOI":"10.1017\/CBO9781139195881"},{"key":"Aceto92","volume-title":"Action Refinement in Process Algebras","author":"L. Aceto","year":"1992"},{"key":"Back93","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-662-02880-3_3","article-title":"Refinement of Parallel and Reactive Programs","volume-title":"Program Design Calculi","author":"R.J.R. Back","year":"1993"},{"key":"2838","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-00255-7-13","article-title":"Modelling divergence in Relational Concurrent Refinement","volume-title":"IFM 2009: Integrated Formal Methods","volume":"5423","author":"E.A. Boiten","year":"2009"},{"issue":"12","key":"3023","doi-asserted-by":"publisher","first-page":"1262","DOI":"10.1016\/j.scico.2010.07.003","article-title":"Incompleteness of Relational Simulations in the Blocking Paradigm","volume":"75","author":"E.A. Boiten","year":"2010","journal-title":"Science of Computer Programming"},{"key":"BDS07","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s00165-007-0066-z","article-title":"Relational Concurrent Refinement Part II: Internal Operations and Outputs","volume":"21","author":"E.A. Boiten","year":"2009","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"lotos1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO Specification Language LOTOS","volume":"14","author":"T. Bolognesi","year":"1988","journal-title":"Computer Networks and ISDN Systems"},{"key":"Butler97a","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BFb0027291","article-title":"An approach to the design of distributed systems with B AMN","volume-title":"ZUM'97: The Z Formal Specification Notation","volume":"1212","author":"M. Butler","year":"1997"},{"key":"Butler09","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-00255-7-2","article-title":"Decomposition Structures for Event-B","volume-title":"IFM","volume":"5423","author":"M. Butler","year":"2009"},{"key":"Derrick99a","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1477","DOI":"10.1007\/3-540-48118-4\\voidb@x width0.4em28","article-title":"Non-atomic refinement in Z","volume-title":"FM'99","volume":"1708","author":"J. Derrick","year":"1999"},{"key":"Derrick01","series-title":"FACIT","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z: Foundations and Advanced Applications","author":"J. Derrick","year":"2001"},{"key":"Derrick98a","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s001650050007","article-title":"Specifying and Refining Internal Operations in Z","volume":"10","author":"J. Derrick","year":"1998","journal-title":"Formal Aspects of Computing"},{"key":"1628","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44880-2-10","article-title":"Using coupled simulations in non-atomic refinement","volume-title":"ZB 2003: Formal Specification and Development in Z and B","volume":"2651","author":"J. Derrick","year":"2003"},{"key":"Hoare85a","volume-title":"Communicating Sequential Processes","author":"C.A R. Hoare","year":"1985"},{"key":"UTP98","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998"},{"key":"Morgan94a","series-title":"International Series in Computer Science","volume-title":"Programming from Specifications","author":"C.C. Morgan","year":"1994"},{"issue":"3","key":"Reeves08","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s00165-008-0076-5","article-title":"Data refinement and singleton failures refinement are not equivalent","volume":"20","author":"S. Reeves","year":"2008","journal-title":"Formal Aspects of Computing"},{"key":"Schellhorn05","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/j.tcs.2004.11.013","article-title":"ASM Refinement and Generalizations of Forward Simulation in Data Refinement: A Comparison","volume":"336","author":"G. Schellhorn","year":"2005","journal-title":"Theoretical Computer Science"},{"key":"Woodcock96","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J.C.P. Woodcock","year":"1996"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T21:42:31Z","timestamp":1497908551000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1106.4099v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,17]]},"references-count":19,"URL":"https:\/\/doi.org\/10.4204\/eptcs.55.10","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,17]]}}}