{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T15:11:46Z","timestamp":1768057906206,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540372158","type":"print"},{"value":"9783540372165","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11813040_9","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T10:51:03Z","timestamp":1154947863000},"page":"115-130","source":"Crossref","is-referenced-by-count":21,"title":["Automatic Translation from Circus to Java"],"prefix":"10.1007","author":[{"given":"Angela","family":"Freitas","sequence":"first","affiliation":[]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Woodcock, J.C.P., Cavalcanti, A.L.C.: A Concurrent Language for Refinement. In: 5th Irish Workshop on Formal Methods (2001)","DOI":"10.14236\/ewic\/IWFM2001.7"},{"key":"9_CR2","volume-title":"Using Z \u2013 Specification, Refinement, and Proof","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z \u2013 Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"9_CR3","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"9_CR4","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"9_CR5","unstructured":"Oliveira, M.V.M.: A Refinement Calculus for Circus. PhD thesis, Department of Computer Science, The University of York (2005)"},{"key":"9_CR6","unstructured":"Welch, P.H.: Process Oriented Design for Java: Concurrency for All. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000) (2000)"},{"key":"9_CR7","unstructured":"Z Standards Panel. Formal Specificationn \u2013 Z Notation \u2013 Syntax, Type and Semantics \u2014 Consensus Working Draft 2.6 (2000), at: http:\/\/www.cs.york.ac.uk\/~ian\/zstan\/"},{"key":"9_CR8","unstructured":"Oliveira, M.V.M., Cavalcanti, A.L.C., Woodcock, J.C.P.: Refining Industrial Scale Systems in Circus. In: Communicating Process Architectures (2004)"},{"key":"9_CR9","unstructured":"The occam archive, at: http:\/\/vl.fmnet.info\/occam\/"},{"key":"9_CR10","unstructured":"Freitas, A.: From Circus to Java:\u00a0Implementation and Verification of a Translation Strategy. Master\u2019s thesis, Department of Computer Science, The University of York (2005)"},{"key":"9_CR11","unstructured":"Java Development Kit, http:\/\/java.sun.com\/javase\/"},{"key":"9_CR12","unstructured":"Woodcock, J.C.P.: Using Circus for Safety-Critical Applications. In: VI Brazilian Workshop on Formal Methods (2003)"},{"key":"9_CR13","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":"9_CR14","unstructured":"Xavier, M.: Defini\u00e7\u00e3o Formal e Implementa\u00e7\u00e3o do Sistema de Tipos para a Linguagem Circus. Master\u2019s thesis, Centro de Inform\u00e1tica, Universidade Federal de Pernambuco, Brazil (to be submitted, 2006)"},{"key":"9_CR15","unstructured":"Freitas, L.: Model checking Circus. PhD thesis, Department of Computer Science, The University of York (2005)"},{"key":"9_CR16","unstructured":"Phillips, J.D., Stiles, G.S.: An Automatic Translation of CSP to Handel-C. In: Communicating Process Architectures (2004)"},{"key":"9_CR17","unstructured":"Raju, V., Rong, L., Stiles, G.S.: Automatic Conversion of CSP to CTJ, JCSP, and CCSP. In: Communicating Process Architectures (2003)"}],"container-title":["Lecture Notes in Computer Science","FM 2006: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11813040_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:29Z","timestamp":1605644069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11813040_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372158","9783540372165"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11813040_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}