{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:29:41Z","timestamp":1694626181892},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2006,9,1]],"date-time":"2006-09-01T00:00:00Z","timestamp":1157068800000},"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,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper introduces a wide-spectrum specification logic \u03bdZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.<\/jats:p>","DOI":"10.1007\/s00165-006-0007-2","type":"journal-article","created":{"date-parts":[[2006,8,10]],"date-time":"2006-08-10T11:33:29Z","timestamp":1155209609000},"page":"364-395","source":"Crossref","is-referenced-by-count":4,"title":["The specification logic \u03bdZ"],"prefix":"10.1145","volume":"18","author":[{"given":"Martin C.","family":"Henson","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, Essex, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moshe","family":"Deutsch","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, Essex, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Besnik","family":"Kajtazi","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, Essex, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"#cr-split#-e_1_2_1_2_1_2.1","unstructured":"Abrial JR (1996)Extending B without changing it (for developing distributed systems). In: Habrias H"},{"key":"#cr-split#-e_1_2_1_2_1_2.2","unstructured":"(ed) Proceedings of the 1st conference on the B method Nantes 24-26 November 1996 pp 169-190. Institut de Recherche en Informatique de Nantes (IRIN)"},{"key":"e_1_2_1_2_2_2","unstructured":"Bowen JP Dunne S Galloway A King S (eds) (2000) ZB 2000: formal specification and development in Z and B 1st international conference of B and Z users York 29 August\u20132 September 2000 Proceedings vol 1878 of Lecture Notes in Computer Science . Springer Berlin Heidelberg Newyork"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Back RJR Kurki-Suonio R (1983) Decentralization of process nets with centralized control. In: Proceedings of the 2nd annual ACM symposium on principles of distributed computing Montreal August pp 131\u2013142. ACM Press","DOI":"10.1145\/800221.806716"},{"key":"e_1_2_1_2_4_2","unstructured":"Back RJR Sere K (1990) Deriving an occam implementation of action systems. Technical report A-99 . Department of Computer Science bo Akademi University Turku"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Butler MJ (1997) An approach to the design of distributed systems with B and AMN. In: Bowen JP Hinchey MG Till D (eds) ZUM \u201997: the z formal specification notation 10th international conference of Z users reading vol 1212 of Lecture Notes in Computer Science pp 223\u2013241. Springer Berlin Heidelberg Newyork","DOI":"10.1007\/BFb0027291"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"e_1_2_1_2_7_2","unstructured":"Butler MJ Wald\u00e9n M (1996) Distributed system development in B. Technical Report TUCS-53. Turku Centre for Computer Science bo Akademi University Turku"},{"key":"e_1_2_1_2_8_2","unstructured":"Dijkstra EW (1976) A Discipline of Programming . Prentice Hall Englewood Cliffs"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079"},{"key":"e_1_2_1_2_10_2","volume-title":"Unifying Theories of Programming","author":"Hoare CAR","year":"1998"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.1.43"},{"key":"e_1_2_1_2_12_2","unstructured":"Josephs MB (1991) Specifying reactive systems in Z. Technical Monograph PRG-TR-19-91 . Oxford University Computing Laboratory"},{"key":"e_1_2_1_2_13_2","unstructured":"M\u00e9tayer C Abrial JR Voisin L (2005) Event-B language. RODIN deliverable 3.2. Rigorous open development environment for complex systems\u2013RODIN"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Miarka R Boiten EA Derrick J (2000) Guards preconditions and refinement in Z. In ZB 2000 [BDGK00] pp 286\u2013303","DOI":"10.1007\/3-540-44525-0_17"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Martin-L\u00f6f P (1982) Constructive mathematics and computer programming. In: Logic methodology and philosophy of science VI pp 153\u2013175. North Holland","DOI":"10.1016\/S0049-237X(09)70189-2"},{"key":"e_1_2_1_2_16_2","volume-title":"Programming from specifications","author":"Morgan CC","year":"1994","edition":"2"},{"key":"e_1_2_1_2_17_2","unstructured":"Nicholls JE (ed) (1992) In: Z user workshop: proceedings of the 6th annual Z user meeting York 16\u201317 December 1991 Workshops in Computing. Springer Berlin Heidelberg Newyork"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Strulo B (1995) How firing conditions help inheritance. In: Bowen JP Hinchey MG (eds) ZUM \u201995: The Z formal specification notation 9th international conference of Z users limerick 7\u20139 September 1995 vol 967 of Lecture Notes in Computer Science pp 264\u2013275. Springer Berlin Heidelberg Newyork","DOI":"10.1007\/3-540-60271-2_125"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"Valentine S Toyn I Stepney S King S (2000) Type constrained generics for Z. In: ZB 2000 [BDGK00] pp 250\u2013263","DOI":"10.1007\/3-540-44525-0_15"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Woodcock JCP Brien SM (1992)\n: a logic for Z . In: Z user workshop [Nic92] pp 77\u201396","DOI":"10.1007\/978-1-4471-3203-5_4"},{"key":"e_1_2_1_2_21_2","unstructured":"Wald\u00e9n M Sere K (1996) Refining action systems within B-Tool. In: Naftalin M Denvir T Bertran M (eds) FME \u201996: industrial benefit and advances in formal methods 3rd international symposium of formal methods Europe Oxford 18\u201322 March 1996 Proceedings vol 1051 of Lecture Notes in Computer Science Springer Berlin Heidelberg Newyork pp 84\u2013103"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-006-0007-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-006-0007-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-006-0007-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:50:13Z","timestamp":1641484213000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-006-0007-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["10.1007\/s00165-006-0007-2"],"URL":"https:\/\/doi.org\/10.1007\/s00165-006-0007-2","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9]]}}}