{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:50Z","timestamp":1725475670252},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687603"},{"type":"electronic","value":"9783540687610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11955757_8","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T04:34:20Z","timestamp":1165811660000},"page":"64-78","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Translation from Combined B and CSP Specification to Java Programs"],"prefix":"10.1007","author":[{"given":"Letu","family":"Yang","sequence":"first","affiliation":[]},{"given":"Michael R.","family":"Poppleton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Bert, D., Boulm\u00e9, S., Potet, M.-L., Requet, A., Voisin, L.: Adaptable Translator of B Specifications to Embedded C Programs. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 94\u2013113. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-45236-2_7"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Butler, M.J., Leuschel, M.: Combining CSP and B for Specification and Property Verification. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 221\u2013236. Springer, Heidelberg (2005)","DOI":"10.1007\/11526841_16"},{"key":"8_CR3","unstructured":"Br\u00f6rken, M., M\u00f6ller, M.: Jassda Trance Assertions: Runtime Checking the Dynamic of Java Programs. In: International Conference on Testing of Communicating Systems (2002)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Butler, M.J.: csp2B: A Practical Approach to Combining CSP and B. In: World Congress on Formal Methods, pp. 490\u2013508 (1999)","DOI":"10.1007\/3-540-48119-2_28"},{"key":"8_CR5","unstructured":"Formal Systems (Europoe) Ltd.: Failures-Divergence Refinement: FDR2 User Manual (2003)"},{"key":"8_CR6","unstructured":"Goetz, B.: Concurrency in JDK 5.0. Technical report, IBM (2004)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Lawrence, J.: Practical Application of CSP and FDR to Software Design. In: 25 Years Communicating Sequential Processes, pp. 151\u2013174 (2004)","DOI":"10.1007\/11423348_9"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Peleska, J.: Applied Formal Methods - From CSP to Executable Hybrid Specifications. In: 25 Years Communicating Sequential Processes, pp. 293\u2013320 (2004)","DOI":"10.1007\/11423348_19"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs toMeanings. Cambridge University Press, Cambridge (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"8_CR10","unstructured":"Leavens, G.T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Muller, P., Kiniry, J.: JML Reference Manual (2005)"},{"key":"8_CR11","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. John Wiley and Sons, Chichester (1999)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The Java Memory Model. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT, pp. 378\u2013391. ACM Press, New York (2005)","DOI":"10.1145\/1040305.1040336"},{"key":"8_CR13","unstructured":"Muller, H., Walrath, K.: Threads and Swing, http:\/\/java.sun.com\/products\/jfc\/tsc\/articles\/threads\/threads1.html"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Oliveira, M., Cavalcanti, A.: From Circus to JCSP. In: Sixth International Conference on Formal Engineering Methods (November 2004)","DOI":"10.1007\/978-3-540-30482-1_29"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Pugh, W.: The Java Memory Model is Fatally Flawed. Concurrency: Practice and Experience\u00a012(6), 445\u2013455 (2000)","DOI":"10.1002\/1096-9128(200005)12:6<445::AID-CPE484>3.0.CO;2-A"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Welch, P.H., Martin, J.M.: A CSP Model for Java Multithreading. In: ICSE 2000, pp. 114\u2013122 (2000)","DOI":"10.1109\/PDSE.2000.847856"},{"key":"8_CR17","unstructured":"Welch, P.H., Martin, J.M.: Formal Analysis of Concurrent Java System. In: Communicating Process Architectures (2000)"},{"key":"8_CR18","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Englewood Cliffs (1989)"},{"key":"8_CR19","unstructured":"Raju, V., Rong, L., Stiles, G.S.: Automatic Conversion of CSP to CTJ, JCSP, and CCSP. In: Communicating Process Architectures 2003, pp. 63\u201381 (2003)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Schneider, S., Delicata, R.: Verifying Security Protocols: An Application of CSP. In: 25 Years Communicating Sequential Processes, pp. 243\u2013263 (2004)","DOI":"10.1007\/11423348_14"},{"key":"8_CR21","unstructured":"Schneider, S.: Concurrent and Real-Time System: The CSP Approach. John Wiley and Sons LTD, Chichester (2000)"},{"key":"8_CR22","unstructured":"S.-T. M. Limited.: Occam 2.1 Reference Manual (1995)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Treharne, H., Schneider, S.: Using a Process Algebra to Control B Operations. In: IFM, pp. 437\u2013456 (1999)","DOI":"10.1007\/978-1-4471-0851-1_23"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Int. Conf. on Automated Software Engineering (2000)","DOI":"10.1109\/ASE.2000.873645"},{"key":"8_CR25","unstructured":"Voisinet, J.C., Tatibouet, B., Hammand, A.: JBTools: An experimental platform for the formal B method. In: PPPJ 2002, pp. 137\u2013140 (2002)"},{"key":"8_CR26","unstructured":"Welch, P.: Wow, no chicken?, http:\/\/wotug.ukc.ac.uk\/parallel\/groups\/wotug\/java\/discussion\/3.html"},{"key":"8_CR27","unstructured":"Welch, P.H., Martin, J.M.: Formal Analysis of Concurrent Java System. In: Communicating Process Architectures (2000)"}],"container-title":["Lecture Notes in Computer Science","B 2007: Formal Specification and Development in B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11955757_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:21:31Z","timestamp":1619493691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11955757_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}