{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:53Z","timestamp":1725558953456},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253273"},{"type":"electronic","value":"9783540319597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31959-7_4","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T18:17:02Z","timestamp":1278526622000},"page":"61-78","source":"Crossref","is-referenced-by-count":10,"title":["Towards a Formal Specification of an Electronic Payment System in CSP-CASL"],"prefix":"10.1007","author":[{"given":"Andy","family":"Gimblett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd-Holger","family":"Schlingloff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-4_CR1.1","unstructured":"FM 1999 exhibition: Competition Cash-Point Service (1999);"},{"key":"#cr-split#-4_CR1.2","doi-asserted-by":"crossref","unstructured":"Denvir, B.T., Jackson, M.I., Harwood, W.T., Wray, M.J. (eds.) The Analysis of Concurrent Systems. LNCS, vol.??207. Springer, Heidelberg (1985)","DOI":"10.1007\/3-540-16047-7"},{"key":"4_CR2","unstructured":"eft\/pos 2000 Specification, version 1.0.1. EP2 Consortium (2002)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"CASL User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"4_CR4","unstructured":"Bjork, R.C.: Course notes Object-Oriented Software Development. Department of Mathematics and Computer Science, Gordon College, Fall (2004), http:\/\/www.math-cs.gordon.edu\/local\/courses\/cs211\/ATMExample"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"The Analysis of Concurrent Systems","year":"1985","unstructured":"Denvir, B.T., Harwood, W.T., Jackson, M.I., Wray, M.J. (eds.): The Analysis of Concurrent Systems. LNCS, vol.\u00a0207. Springer, Heidelberg (1985)"},{"key":"4_CR6","volume-title":"Proceedings of the Sixth INFORMS Conference on Information Systems and Technology","author":"A. Franz","year":"2001","unstructured":"Franz, A., Sties, P., Vogel, S.: Formal specification of e-commerce applications \u2013 an interdisciplinary approach. In: Altinkemer, K., Chari, K. (eds.) Proceedings of the Sixth INFORMS Conference on Information Systems and Technology. ForSoft Publications, TU Munich (2001)"},{"key":"4_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0701-9","volume-title":"Software Specification Methods","author":"M. Frappier","year":"2001","unstructured":"Frappier, M., Habrias, H.: Software Specification Methods. Springer, Heidelberg (2001)"},{"key":"4_CR8","volume-title":"Proceedings of the 13th IEEE International Conference on Computer Communications and networks","author":"M.G. Gouda","year":"2004","unstructured":"Gouda, M.G., Liu, A.X.: Formal specification and verification of a micropayment protocol. In: Proceedings of the 13th IEEE International Conference on Computer Communications and networks, Chicago, October 2004, IEEE Press, Los Alamitos (2004)"},{"key":"4_CR9","volume-title":"Algebra of Communicating Processes 1994, Workshops in Computing","author":"J.F. Grote","year":"1995","unstructured":"Grote, J.F., Ponse, A.: The syntax and semantics of \u03bcCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (eds.) Algebra of Communicating Processes 1994, Workshops in Computing. Springer, Heidelberg (1995)"},{"key":"4_CR10","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":"4_CR11","unstructured":"ISO 8807. Lotos \u2014 a formal description technique based on the temporal ordering of observational behaviour (1989)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-31980-1_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y. Isobe","year":"2005","unstructured":"Isobe, Y., Roggenbach, M.: A generic theorem prover of CSP refinement. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 108\u2013123. Springer, Heidelberg (2005)"},{"key":"4_CR13","unstructured":"JTCI\/CS7\/WG14. The E-LOTOS final draft international standard (2001)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-31959-7_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. L\u00fcth","year":"2005","unstructured":"L\u00fcth, C., Roggenbach, M., Schr\u00f6der, L.: CCC \u2013 the casl consistency checker. In: Fiadeoiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 94\u2013105. Springer, Heidelberg (2005)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Roggenbach, M., Schr\u00f6der, L.: CoCASL at work \u2014 Modelling Process Algebra. In: Coalgebraic Methods in Computer Science. Electronic Notes Theoretical Computer Science, vol.\u00a082 (2003)","DOI":"10.1016\/S1571-0661(04)80640-6"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-45705-4_39","volume-title":"E-Commerce and Web Technologies","author":"C. Ouyang","year":"2002","unstructured":"Ouyang, C., Kristensen, L.M., Billington, J.: A formal and executable specification of the internet open trading protocol. In: Bauknecht, K., Tjoa, A.M., Quirchmayr, G. (eds.) EC-Web 2002. LNCS, vol.\u00a02455, pp. 377\u2013387. Springer, Heidelberg (2002)"},{"key":"4_CR18","unstructured":"Panti, M., Spalazzi, L., Tacconi, S.: Verification of security properties in electronic payment protocols. In: Workshop on Issues in the Theory of Security (WITS 2002), Co-located with IEEE POPL, Portland, Janurary (2002)"},{"key":"4_CR19","unstructured":"Reggio, G., Astesiano, E., Choppy, C.: CASL-Ltl \u2014 a CASL extension for dynamic Reactive Systems \u2014 Summary. Technical Report DISI-TR-99-34, Universit\u00e0 di Genova (2000)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-45499-3_19","volume-title":"Algebraic Methodology and Software Technology","author":"G. Reggio","year":"2000","unstructured":"Reggio, G., Repetto, L.: CASLChart: a combination of statecharts and of the algebraic specification language CASL. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 243\u2013257. Springer, Heidelberg (2000)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-540-40020-2_22","volume-title":"Recent Trends in Algebraic Development Techniques","author":"H. Reichel","year":"2003","unstructured":"Reichel, H., Mossakowski, T., Roggenbach, M., Schr\u00f6der, L.: Algebraic-coalgebraic specification in cocasl. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 376\u2013392. Springer, Heidelberg (2003)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Roggenbach, M.: CSP-Casl \u2013 A new integration of process algebra and algebraic specification. Theoretical Computer Science (to appear)","DOI":"10.1016\/j.tcs.2005.11.007"},{"key":"4_CR23","volume-title":"The theory and practice of concurrency","author":"A. Roscoe","year":"1998","unstructured":"Roscoe, A.: The theory and practice of concurrency. Prentice Hall, Englewood Cliffs (1998)"},{"key":"4_CR24","unstructured":"Sala\u00fcn, G., Allemand, M., Attiogb\u00e9, C.: A formalism combining CCS and CASL. Technical Report 00.14, University of Nantes (2001)"},{"key":"4_CR25","first-page":"211","volume-title":"Parallel and Distributed Processing","author":"G. Sala\u00fcn","year":"2002","unstructured":"Sala\u00fcn, G., Allemand, M., Attiogb\u00e9, C.: Specification of an access control system with a formalism combining CCS and CASL. In: Parallel and Distributed Processing, pp. 211\u2013219. IEEE, Los Alamitos (2002)"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Staskauskas, M.G.: The formal specification and design of a distributed electronic funds transfer system. IEEE Transactions on Computers\u00a037 (1988)","DOI":"10.1109\/12.9730"},{"key":"4_CR27","unstructured":"Stepney, S., Cooper, D., Woodcock, J.: An Electronic Purse: Specification, Refinement, and Proof. Technical Monograph PRG-126, Oxford University Computing Laboratory (2000)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31959-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:31:49Z","timestamp":1605760309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31959-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253273","9783540319597"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31959-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}