{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T14:33:44Z","timestamp":1720449224890},"reference-count":27,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"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":[[2006,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            This paper defines a new denotational semantics for the language of Communicating Sequential Processes (CSP). The semantics lies between the existing traces and failures models of CSP, providing a treatment of non-determinism in terms of\n            <jats:italic>singleton failures<\/jats:italic>\n            . Although the semantics does not represent a congruence upon the full language, it is adequate for sequential tests of non-deterministic processes. This semantics corresponds exactly to a commonly used notion of data refinement in Z and Object-Z: an abstract data type is refined when the corresponding process is refined in terms of singleton failures. The semantics is used to explore the relationship between data refinement and process refinement, and to derive a rule for data refinement that is both sound and complete.\n          <\/jats:p>","DOI":"10.1007\/s00165-005-0081-x","type":"journal-article","created":{"date-parts":[[2006,5,17]],"date-time":"2006-05-17T11:50:18Z","timestamp":1147866618000},"page":"181-210","source":"Crossref","is-referenced-by-count":23,"title":["A singleton failures semantics for Communicating Sequential Processes"],"prefix":"10.1145","volume":"18","author":[{"given":"Christie","family":"Bolton","sequence":"first","affiliation":[{"name":"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Davies","sequence":"additional","affiliation":[{"name":"Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"p_1","volume-title":"Ciancarini P, Fantechi A, Gorrieri R (eds) Proceedings of formal methods for open object-based distributed systems (FMOODS '99)","author":"Bowman H","year":"1999"},{"key":"p_2","volume-title":"Butler MJ, Petre L, Sere K (eds) Proceedings of integrated formal methods (IFM'02), vol 2335","author":"Bolton CM","year":"2002"},{"key":"p_3","volume-title":"Araki K, Galloway G, Taguchi K, eds, Proceedings of integrated formal methods (IFM'99)","author":"Bolton CM","year":"1999"},{"key":"p_4","volume-title":"In 2nd ACM SIGACT-SIGOPS symposium on principles of distributed computing","author":"Back RJR","year":"1983"},{"key":"p_7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z","author":"Derrick J","year":"2001"},{"key":"p_8","volume-title":"A discipline of Programming","author":"Dij EW","year":"1976"},{"key":"p_9","volume-title":"Formal object-oriented specification using Object-Z","author":"Duke R","year":"2000"},{"key":"p_10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663079","volume-title":"Data refinement: model-oriented proof methods and their comparison. Camb Tracts Theoret Comput Sci","author":"de Roever W-P","year":"1998"},{"key":"p_12","volume-title":"FDR2 User Manual","author":"For","year":"1997"},{"key":"p_13","volume-title":"McDermid J (ed) The theory and practice of refinement","author":"He J","year":"1989"},{"key":"p_14","first-page":"187","volume-title":"Robinet B, Wilhelm R (eds) Proceedings of the European symposium on Programming (ESOP'86), vol 213","author":"He J","year":"1986"},{"key":"p_15","volume-title":"Prespecification in data refinement. Inf Process Lett","author":"Hoare CAR","year":"1987"},{"key":"p_16","volume-title":"Communicating Sequential Processes","author":"Hoa CAR","year":"1985"},{"key":"p_17","volume-title":"The early search for tractable ways of reasoning about programs","author":"Jon CB","year":"2003"},{"key":"p_18","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01788563","article-title":"A state-based approach to communicating processes","volume":"3","author":"Jos MB","year":"1988","journal-title":"Distribut Comput"},{"key":"p_21","volume-title":"A calculus of communicating systems, vol 92 of LNCS","author":"Mil R","year":"1980"},{"key":"p_22","volume-title":"TCS","author":"Mil R","year":"1983"},{"key":"p_23","volume-title":"Feijen WHJ, van Gasteren AJM, Gries D, Misra J (eds) Beauty is our business: a birthday salute to Edsger W. Dijkstra","author":"Mor CC","year":"1990"},{"key":"p_24","volume-title":"The theory and practice of concurrency","author":"Ros AW","year":"1998"},{"key":"p_25","volume-title":"Hinchey M Shaoying Liu (eds) Proceedings of first IEEE international conference on formal engineering methods (ICFEM '97)","author":"Smith G","year":"1997"},{"key":"p_26","first-page":"30","article-title":"A fully abstract semantics of classes for Object-Z","volume":"7","author":"Smi G","year":"1995","journal-title":"Formal Aspects Comput"},{"key":"p_27","volume-title":"The Object-Z Specification Language","author":"Smi G","year":"2000"},{"key":"p_28","volume-title":"The Z notation: a reference manual","author":"Spi JM","year":"1992"},{"key":"p_29","volume-title":"Baeten JCM, Klop JW (eds) Proceedings of CONCUR'90. Theories of concurrency: unification and extension, vol 458","author":"van Glabbeek RJ","year":"1990"},{"key":"p_30","volume-title":"Using Z: specification, proof and refinement","author":"Woodcock JCP","year":"1996"},{"key":"p_31","volume-title":"Davies J, Roscoe AW, Woodcock JCP (eds) Millenial perspectives in computer science: proceedings of the 1999 symposium in honour of Sir Tony Hoare. Palgrave, Basingstoke","author":"Woodcock JCP","year":"2000"},{"key":"p_32","first-page":"340","volume-title":"VDM Symposium","author":"Woodcock JCP","year":"1990"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-005-0081-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-005-0081-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-005-0081-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:53:19Z","timestamp":1641484399000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-005-0081-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["10.1007\/s00165-005-0081-x"],"URL":"https:\/\/doi.org\/10.1007\/s00165-005-0081-x","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}