{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T15:08:02Z","timestamp":1676819282161},"reference-count":24,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T00:00:00Z","timestamp":1291161600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1016\/j.scico.2010.07.003","type":"journal-article","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T04:51:15Z","timestamp":1280897475000},"page":"1262-1269","source":"Crossref","is-referenced-by-count":7,"title":["Incompleteness of relational simulations in the blocking paradigm"],"prefix":"10.1016","volume":"75","author":[{"given":"Eerke","family":"Boiten","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2010.07.003_br000005","series-title":"7th International Seminar on Relational Methods in Computer Science","first-page":"82","article-title":"Getting to the bottom of relational refinement: relations and correctness, partial and total","author":"Boiten","year":"2003"},{"issue":"1\u20132","key":"10.1016\/j.scico.2010.07.003_br000010","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s00165-007-0066-z","article-title":"Relational concurrent refinement part II: internal operations and outputs","volume":"21","author":"Boiten","year":"2009","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.scico.2010.07.003_br000015","series-title":"REFINE 02: The BCS FACS Refinement Workshop","article-title":"A comparison of refinement orderings and their associated simulation rules","volume":"vol. 70(3)","author":"Bolton","year":"2002"},{"key":"10.1016\/j.scico.2010.07.003_br000020","series-title":"Integrated Formal Methods","first-page":"225","article-title":"Refinement in Object-Z and CSP","volume":"vol. 2335","author":"Bolton","year":"2002"},{"key":"10.1016\/j.scico.2010.07.003_br000025","series-title":"International Conference on Integrated Formal Methods 1999","first-page":"273","article-title":"On the refinement and simulation of data types and processes","author":"Bolton","year":"1999"},{"key":"10.1016\/j.scico.2010.07.003_br000030","series-title":"Data Refinement: Model-Oriented Proof Methods and their Comparison","author":"de Roever","year":"1998"},{"key":"10.1016\/j.scico.2010.07.003_br000035","series-title":"Refinement in Z and Object-Z: Foundations and Advanced Applications, FACIT","author":"Derrick","year":"2001"},{"issue":"1","key":"10.1016\/j.scico.2010.07.003_br000040","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/s00165-003-0007-4","article-title":"Relational concurrent refinement","volume":"15","author":"Derrick","year":"2003","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"10.1016\/j.scico.2010.07.003_br000045","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/s00165-006-0006-3","article-title":"An analysis of refinement in an abortive paradigm","volume":"18","author":"Deutsch","year":"2006","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.scico.2010.07.003_br000050","first-page":"92","article-title":"Failure-divergence semantics as a formal basis for an object-oriented integrated formal method","volume":"71","author":"Fischer","year":"2000","journal-title":"Bulletin of the EATCS (European Association of Theoretical Computer Science)"},{"key":"10.1016\/j.scico.2010.07.003_br000055","series-title":"Data Refinement in a Categorical Setting","article-title":"Prespecification and data refinement","volume":"vol. PRG-90","author":"Jifeng","year":"1990"},{"key":"10.1016\/j.scico.2010.07.003_br000060","series-title":"Proc. ESOP\u201986","first-page":"187","article-title":"Data refinement refined","volume":"vol. 213","author":"Jifeng","year":"1986"},{"key":"10.1016\/j.scico.2010.07.003_br000065","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"issue":"3","key":"10.1016\/j.scico.2010.07.003_br000070","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF01887207","article-title":"Process simulation and refinement","volume":"1","author":"Jifeng","year":"1989","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.scico.2010.07.003_br000075","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01788563","article-title":"A state-based approach to communicating processes","volume":"3","author":"Josephs","year":"1988","journal-title":"Distributed Computing"},{"issue":"2","key":"10.1016\/j.scico.2010.07.003_br000080","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1006\/inco.1995.1134","article-title":"Forward and backward simulations: I. Untimed systems","volume":"121","author":"Lynch","year":"1995","journal-title":"Information and Computation"},{"key":"10.1016\/j.scico.2010.07.003_br000085","unstructured":"S. Reeves, D. Streader, State- and event-based refinement. Technical report, Department of Computer Science, University of Waikato, September 2006."},{"issue":"3","key":"10.1016\/j.scico.2010.07.003_br000090","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/s00165-008-0076-5","article-title":"Data refinement and singleton failures refinement are not equivalent","volume":"20","author":"Reeves","year":"2008","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.scico.2010.07.003_br000095","series-title":"The Theory and Practice of Concurrency","author":"Roscoe","year":"1998"},{"key":"10.1016\/j.scico.2010.07.003_br000100","series-title":"International Refinement Workshop & Formal Methods Pacific \u201998","article-title":"Security management via Z and CSP","author":"Simpson","year":"1998"},{"key":"10.1016\/j.scico.2010.07.003_br000105","series-title":"First International Conference on Formal Engineering Methods, ICFEM\u201997","first-page":"293","article-title":"Refinement and verification of concurrent systems specified in Object-Z and CSP","author":"Smith","year":"1997"},{"key":"10.1016\/j.scico.2010.07.003_br000110","series-title":"ZUM\u201995: The Z Formal Specification Notation","first-page":"264","article-title":"How firing conditions help inheritance","volume":"vol. 967","author":"Strulo","year":"1995"},{"key":"10.1016\/j.scico.2010.07.003_br000115","series-title":"Using Z: Specification, Refinement, and Proof","author":"Woodcock","year":"1996"},{"key":"10.1016\/j.scico.2010.07.003_br000120","series-title":"VDM\u201990: VDM and Z!- Formal Methods in Software Development","article-title":"Refinement of state-based concurrent systems","volume":"vol. 428","author":"Woodcock","year":"1990"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642310001504?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642310001504?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,8]],"date-time":"2018-12-08T21:27:45Z","timestamp":1544304465000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642310001504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":24,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["S0167642310001504"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2010.07.003","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2010,12]]}}}