{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T03:42:42Z","timestamp":1648611762546},"reference-count":29,"publisher":"Association for Computing Machinery (ACM)","issue":"4-6","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s00165-012-0257-0","type":"journal-article","created":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T08:35:50Z","timestamp":1340872550000},"page":"417-422","source":"Crossref","is-referenced-by-count":0,"title":["Preface"],"prefix":"10.1145","volume":"24","author":[{"given":"P.","family":"H\u00f6fner","sequence":"first","affiliation":[{"name":"Kensington, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Abrial J-R Schuman SA Meyer B (1980) A specification language. In: On the construction of programs. Cambridge University Press Cambridge pp 343\u2013410"},{"key":"e_1_2_1_2_2_2","unstructured":"Back R-J (1978) On the correctness of refinement steps in program development. PhD thesis. Report A-1978-4 Department of Computer Science University of Helsinki"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61455-2_12","volume-title":"The algebra of programming","author":"Bird R","year":"1996"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Broy M (ed) (1993) Program design calculi. In: NATO ASI series series F: computer and system sciences vol 118. Springer Berlin","DOI":"10.1007\/978-3-662-02880-3"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Back R-J von Wright J (1998) Refinement calculus: a systematic introduction. In: Graduate texts in computer science. Springer Berlin","DOI":"10.1007\/978-1-4612-1674-2_1"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.013"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Deng Y van Glabbeek RJ Hennessy M Morgan CC (2008) Characterising testing preorders for finite probabilistic processes. Logical Methods Comput Sci 4(4)","DOI":"10.2168\/LMCS-4(4:4)2008"},{"key":"e_1_2_1_2_8_2","first-page":"363","volume-title":"European symposium on programming languages and systems (ESOP\u201907). Lecture notes in computer science, vol 4421","author":"Deng Y","year":"2007"},{"key":"e_1_2_1_2_9_2","unstructured":"Hayes I editor (1987) Specification case studies. Prentice Hall Englewood Cliffs (2nd edition published in 1992)"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/27651.27653"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"crossref","unstructured":"Honsberger R (2003) Mathematical diamonds. Dolcani mathematical expositions vol 26. Mathematical Society of America Providence","DOI":"10.1090\/dol\/026"},{"key":"e_1_2_1_2_12_2","unstructured":"ISO (2002) Information technology\u2014Z formal specification notation\u2014syntax type system and semantics. Technical Report ISO\/IEC 13568 International Organization for Standardization 2002 (International Standard)"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2007.10.005"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"McIver AK Morgan CC (2002) Games probability and the quantitative\u00a0\u03bc-calculus qM\u03bc. In: Logic for programming artificial intelligence and reasoning LPAR \u201902. Springer Berlin pp 292\u2013310","DOI":"10.1007\/3-540-36078-6_20"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"McIver AK Morgan CC (2005) Abstraction refinement and proof for probabilistic systems (Monographs in computer science). Springer Berlin","DOI":"10.1145\/1059816.1059824"},{"issue":"2","key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.ipl.2004.12.013","article-title":"An elementary proof that Herman\u2019s ring is \u0398(N\n                  2)","volume":"94","author":"McIver AK","year":"2005","journal-title":"Inf Process Lett"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01213492"},{"key":"e_1_2_1_2_18_2","unstructured":"Morgan: a suitable case for treatment. Film Poster (1966)"},{"key":"e_1_2_1_2_19_2","unstructured":"Morgan CC (1978) Parallel programming without synchronisation. PhD thesis University of Sydney"},{"key":"e_1_2_1_2_20_2","first-page":"318","volume-title":"The analysis of concurrent systems. Lecture notes in computer science, vol 207","author":"Morgan CC","year":"1985"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90011-6"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/44501.44503"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"publisher","DOI":"10.5555\/119872.119908"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"publisher","DOI":"10.5555\/95423"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Morgan CC (2006) The shadow knows: refinement of ignorance in sequential programs. In: Mathematics of program construction MPC\u201906. Springer Berlin pp 359\u2013378","DOI":"10.1007\/11783596_21"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.09.003"},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010215"},{"key":"e_1_2_1_2_28_2","unstructured":"Morgan CC Vickers T (eds) (1992) On the refinement calculus. Springer Berlin"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Woodcock J Morgan CC (1990) Refinement of state-based concurrent systems. In: Proceedings of the third international symposium of VDM Europe on VDM and Z\u2014formal methods in software development VDM\u201990. Springer Berlin pp 340\u2013351","DOI":"10.1007\/3-540-52513-0_18"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-012-0257-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-012-0257-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-012-0257-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T16:03:16Z","timestamp":1641484996000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-012-0257-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":29,"journal-issue":{"issue":"4-6","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["10.1007\/s00165-012-0257-0"],"URL":"https:\/\/doi.org\/10.1007\/s00165-012-0257-0","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}