{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:48:35Z","timestamp":1725749315973},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405600"},{"type":"electronic","value":"9783642405617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40561-7_4","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T09:10:29Z","timestamp":1379495429000},"page":"46-60","source":"Crossref","is-referenced-by-count":2,"title":["A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP"],"prefix":"10.1007","author":[{"given":"Marcel Vinicius Medeiros","family":"Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan Soares","family":"De Medeiros J\u00fanior","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Burns, A., Wellings, A.: Concurrency in Ada, 2nd edn. Cambridge University Press (November 1997)"},{"key":"4_CR2","unstructured":"Brown, N., Welch, P.: An Introduction to the Kent C++CSP Library. In: Broenink, J.F., Hilderink, G.H. (eds.) Communicating Process Architectures 2003, pp. 139\u2013156 (September 2003)"},{"key":"4_CR3","unstructured":"Formal Systems Ltd. FDR: User Manual and Tutorial, version 2.82 (2005)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-34281-3_17","volume-title":"Formal Methods and Software Engineering","author":"S.-W. Lin","year":"2012","unstructured":"Lin, S.-W., Liu, Y., Hsiung, P.-A., Sun, J., Dong, J.S.: Automatic generation of provably correct embedded systems. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol.\u00a07635, pp. 214\u2013229. Springer, Heidelberg (2012)"},{"key":"4_CR5","volume-title":"Concurrent Systems: Formal Development in CSP","author":"M.G. Hinchey","year":"1995","unstructured":"Hinchey, M.G., Jarvis, S.A.: Concurrent Systems: Formal Development in CSP. McGraw-Hill, Inc., New York (1995)"},{"key":"4_CR6","unstructured":"McMillin, B., Arrowsmith, E.: CCSP-A Formal System for Distributed Program Debugging. In: Proceedings of the Software for Multiprocessors and Supercomputers, Theory, Practice, Experience, Moscow, Russia (September 1994)"},{"key":"4_CR7","unstructured":"Oliveira, M.V.M.: Formal Derivation of State-Rich Reactive Programs using Circus. PhD thesis, Department of Computer Science, University of York (2006)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-30482-1_29","volume-title":"Formal Methods and Software Engineering","author":"M. Oliveira","year":"2004","unstructured":"Oliveira, M., Cavalcanti, A.: FromCircus to JCSP. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 320\u2013340. Springer, Heidelberg (2004)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-76650-6_17","volume-title":"Formal Methods and Software Engineering","author":"M. Oliveira","year":"2007","unstructured":"Oliveira, M., Woodcock, J.: Automatic Generation of Verified Concurrent Hardware. In: Butler, M., Hinchey, M., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol.\u00a04789, pp. 286\u2013306. Springer, Heidelberg (2007)"},{"issue":"14","key":"4_CR10","doi-asserted-by":"publisher","first-page":"1151","DOI":"10.1016\/S0140-3664(96)01149-8","volume":"19","author":"J. Parrow","year":"1996","unstructured":"Parrow, J., Sj\u00f6din, P.: Designing a multiway synchronization protocol. Computer Communications\u00a019(14), 1151\u20131160 (1996)","journal-title":"Computer Communications"},{"key":"4_CR11","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall (1998)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Sun, J., Liu, Y., Dong, J.S., Chen, C.: Integrating specification and programs for system modeling and verification. In: Proceedings of the Third IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 127\u2013135. IEEE Computer Society, Washington, DC (2009)","DOI":"10.1109\/TASE.2009.32"},{"key":"4_CR13","unstructured":"Welch, P.H.: Process oriented design for Java: concurrency for all. In: Arabnia, H.R. (ed.) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, pp. 51\u201357. CSREA Press (June 2000)"},{"key":"4_CR14","unstructured":"Welch, P.H., Wood, D.C.: Higher Levels of Process Synchronisation. In: Bakkers, A.W.P. (ed.) Proceedings of WoTUG-20: Parallel Programming and Java, pp. 104\u2013129 (1997)"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.04.003","volume":"95","author":"J.C.P. Woodcock","year":"2004","unstructured":"Woodcock, J.C.P.: Using Circus for Safety-Critical Applications. Electronic Notes Theoretical Computer Science\u00a095, 3\u201322 (2004)","journal-title":"Electronic Notes Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40561-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:56:34Z","timestamp":1558079794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40561-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405600","9783642405617"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40561-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}