{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171462},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304920"},{"type":"electronic","value":"9783540322405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589976_14","type":"book-chapter","created":{"date-parts":[[2005,10,26]],"date-time":"2005-10-26T09:38:16Z","timestamp":1130319496000},"page":"227-245","source":"Crossref","is-referenced-by-count":9,"title":["CZT Support for Z Extensions"],"prefix":"10.1007","author":[{"given":"Tim","family":"Miller","sequence":"first","affiliation":[]},{"given":"Leo","family":"Freitas","sequence":"additional","affiliation":[]},{"given":"Petra","family":"Malik","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Utting","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"ISO\/IEC 13568: Information Technology\u2014Z Formal Specification Notation\u2014Syntax, Type System and Semantics. 1st edn. ISO\/IEC (2002)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/11415787_5","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"P. Malik","year":"2005","unstructured":"Malik, P., Utting, M.: CZT: A Framework for Z Tools. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 65\u201384. Springer, Heidelberg (2005)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Fischer, C.: How to combine Z with process algebras. Technical report, University of Oldenburg (1998)","DOI":"10.1007\/978-3-540-49676-2_2"},{"key":"14_CR4","unstructured":"Fischer, C.: Combination and Implementation of Process and Data: from CSP-OZ to Java. PhD thesis, University of Oldenburg (2000)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Cavalcanti, A.: A Concurrent Language for Refinement. In: 5th Irish Workshop on Formal Methods (2001)","DOI":"10.14236\/ewic\/IWFM2001.7"},{"key":"14_CR6","series-title":"Advances in Formal Methods","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Cavalcanti, A.L.C., Sampaio, A., Woodcock, J.C.P.: Unifying Classes and Processes. Journal on Software and Systems Modelling (2005) (to appear)","DOI":"10.1007\/s10270-005-0085-2"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"Mahony, B., Dong, J.S.: Timed Communicating Object-Z. IEEE Transactions on Software Engineering\u00a026, 150\u2013177 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/3-540-36103-0_62","volume-title":"Formal Methods and Software Engineering","author":"A. Sherif","year":"2002","unstructured":"Sherif, A., He, J.: Toward a Time Model for Circus. In: George, C., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 613\u2013624. Springer, Heidelberg (2002)"},{"key":"14_CR10","unstructured":"Tang, X., Woodcock, J.: Towards Mobile Processes in Unifying Theories. In: Cuellar, J., Liu, Z. (eds.) SEFM2004: the 2nd IEEE International Conference on Software Engineering and Formal Methods, pp. 44\u201353 (2004)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"S. Schneider","year":"1995","unstructured":"Schneider, S., Davies, J.: A Brief History of Timed CSP. Theoretical Computer Science\u00a0138, 243\u2013271 (1995)","journal-title":"Theoretical Computer Science"},{"key":"14_CR12","series-title":"International Series in Computer Science","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency, 1st edn. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1997)","edition":"1"},{"key":"14_CR13","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"14_CR14","series-title":"International Series in Computer Science","volume-title":"Unifying Theories of Programming","author":"C. Hoare","year":"1998","unstructured":"Hoare, C., Jifeng, H.: Unifying Theories of Programming. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/3-540-44880-2_26","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"M. Utting","year":"2003","unstructured":"Utting, M., Toyn, I., Sun, J., Martin, A., Dong, J.S., Daley, N., Currie, D.: ZML: XML Support for Standard Z. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 437\u2013456. Springer, Heidelberg (2003)"},{"key":"14_CR16","unstructured":"Meisels, I., Saaltink, M.: Z\/Eves 1.5 Reference Manual. ORA Canada, TR-97-5493-03d (1997)"},{"key":"14_CR17","unstructured":"Saaltink, M., Meisels, I.: The Core Z\/Eves API (DRAFT). Technical Report TR-99-5540-xx, ORA Canada (2003)"},{"key":"14_CR18","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, USA (1995)"},{"key":"14_CR19","unstructured":"Mai, Y., de Champlain, M.: A Pattern Language To Visitors. In: The 8th Annual Conference of Pattern Languages of Programs (PLoP 2001), Monticello, Illinois, USA (2001)"},{"key":"14_CR20","volume-title":"Pattern Languages of Program Design","author":"A.C. Martin","year":"1997","unstructured":"Martin, A.C.: Acyclic visitor. In: Martin, R.C., Riehle, D., Buschmann, F. (eds.) Pattern Languages of Program Design, vol.\u00a03, Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1997)"},{"key":"14_CR21","volume-title":"Pattern Languages of Program Design","author":"M.E. Nordberg III","year":"1997","unstructured":"Nordberg III, M.E.: Default and Extrinsic Visitor. In: Martin, R.C., Riehle, D., Buschmann, F. (eds.) Pattern Languages of Program Design, vol.\u00a03, Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1997)"},{"key":"14_CR22","unstructured":"Barbosa, A.: A Parser for Circus. Graduation Research Project (2002)"},{"key":"14_CR23","unstructured":"Woodcock, J., Cavalcanti, A., Freitas, L.: Circus Operational Semantics. In: Proceedings of Formal Methods Europe (2005)"},{"key":"14_CR24","unstructured":"Xavier, M.: Circus Type-checker. Master\u2019s thesis, Universidade Federal de Pernambuco, Brazil. In: preparation (2006)"},{"key":"14_CR25","unstructured":"Utting, M.: Data Structures for Z Testing Tools. Technical report, University of Waikato, Hamilton, New Zeland (1999)"},{"key":"14_CR26","unstructured":"Winikoff, M.: Analysing modes and subtypes in Z specifications. Technical Report 98\/2, University of Melbourne, Department of Computer Science, Parkville, Victoria 3052, Australia (1998)"},{"key":"14_CR27","unstructured":"Cavalcanti, A.: A Refinement Calculus for Z. PhD thesis, Oxford University (1997), Also published as a PRG Technical Monograph at http:\/\/web.comlab.ox.ac.uk\/oucl\/publications\/monos\/prg-123.html"},{"key":"14_CR28","unstructured":"Freitas, L.: Model Checking Circus. PhD thesis, Univeristy of York (October 2005) (to appear)"},{"key":"14_CR29","unstructured":"Roscoe, A.W.: Model checking CSP. In: Book: A Classical Mind: Essays in Honour of C. A. R. Hoare, pp. 353\u2013378 (1994)"},{"key":"14_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01211314","volume":"5","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Hennessy, M.: Testing Equivalence as a Bisimulation Equivalence. Formal Aspects of Computing\u00a05, 1\u201320 (1993)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR31","unstructured":"Oliveira, M.: A Refinement Calculus for Circus. PhD thesis, University of York (December 2005) (to appear)"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: Unifying Theories in ProofPowerZ. draft, Univeristy of York (2005)","DOI":"10.1007\/11768173_8"},{"key":"14_CR33","unstructured":"Anderson, P., Goldsmith, M., Scattergood, B., Teitelbaum, T.: An Environment for Integrating Formal Methods Tools. In: User Interfaces for Theorem Provers (1997)"},{"key":"14_CR34","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/BF01213535","volume":"8","author":"A.P. Martin","year":"1996","unstructured":"Martin, A.P., Gardiner, P.H.B., Woodcock, J.C.P.: A Tactic Calculus. Formal Aspects of Computing\u00a08, 244\u2013285 (1996)","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589976_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T17:54:34Z","timestamp":1626630874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589976_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304920","9783540322405"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/11589976_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}