{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T01:36:27Z","timestamp":1648690587098},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1007\/s10270-005-0084-3","type":"journal-article","created":{"date-parts":[[2005,5,11]],"date-time":"2005-05-11T08:33:37Z","timestamp":1115800417000},"page":"258-276","source":"Crossref","is-referenced-by-count":7,"title":["Investigating a file transfer protocol using CSP and B"],"prefix":"10.1007","volume":"4","author":[{"given":"Neil","family":"Evans","sequence":"first","affiliation":[]},{"given":"Helen","family":"Treharne","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,1]]},"reference":[{"key":"84_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"Abadi","year":"1993","unstructured":"Abadi M, Lamport L (1993) Composing Specifications. ACM Transactions on Programming Languages and Systems 15(1):73\u2013132, January 1993","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"84_CR2","first-page":"Assigning","volume":"Book","author":"Abrial","year":"1996","unstructured":"Abrial JR (1996) The B Book: Assigning Programs to Meaning. CUP","journal-title":"The B"},{"key":"84_CR3","unstructured":"Abrial JR (1996) Extending B without changing it (for developing distributed systems). In: Habrias H (ed) 1st Conference on the B Method, Nantes, November 1996, pp 169\u2013190"},{"key":"84_CR4","doi-asserted-by":"crossref","unstructured":"Abrial JR, Mussat L (1997) Specification and Design of a Transmission Protocol by Successive Refinements using B. Mathematical Models in Program Development 158:129\u2013200. Springer, Nato ASI Series F: Computer and Systems Sciences","DOI":"10.1007\/978-3-642-60858-2_17"},{"key":"84_CR5","unstructured":"Behm P, Desforges P, Maynadier JM (1998) METEOR: An Industrial Success in Formal Development. B\u201998, Montpellier, April 1998, LNCS, vol 1393. Springer"},{"key":"84_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"Bolognesi","year":"1998","unstructured":"Bolognesi T, Brinksma E (1998) Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14(1):25\u201329, January 1998","journal-title":"Computer Networks and ISDN Systems"},{"key":"84_CR7","unstructured":"Bramble M (2004) Investigating the consistency of combined specifications. MPhil thesis, Royal Holloway, University of London"},{"key":"84_CR8","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/PL00003930","volume":"12","author":"Butler","year":"2000","unstructured":"Butler MJ (2000) csp2B: A Practical Approach to Combining CSP and B. Formal Aspects of Computing 12:182\u2013196","journal-title":"Formal Aspects of Computing"},{"key":"84_CR9","doi-asserted-by":"crossref","unstructured":"Cavalcanti A, Sampaio A, Woodcock J (2002) Refinement of Actions in Circus. In: REFINE\u201902, FMEWorkshop, Copenhagen","DOI":"10.1016\/S1571-0661(05)80489-X"},{"key":"84_CR10","doi-asserted-by":"crossref","unstructured":"Evans N, Treharne H, Laleau R, Frappier M (2004) How to Verify Dynamic Properties of Information Systems. In: IEEE International Conference on Software Engineering and Formal Methods, China. IEEE Computer Society Press","DOI":"10.1109\/SEFM.2004.1347547"},{"key":"84_CR11","doi-asserted-by":"crossref","unstructured":"Havelund K, Shankar N (1996) Experiments in Theorem Proving and Model Checking. In: FME\u201996, Oxford, March 1996, LNCS, vol 1051. Springer","DOI":"10.1007\/3-540-60973-3_113"},{"key":"84_CR12","unstructured":"Goldberg A (1983) Smalltalk-80: The Interactive Programming Environment. Addison-Wesley Publishers"},{"key":"84_CR13","unstructured":"Helmink L, Selling MPA, Vaandrager FW (1994) Proofchecking a data link protocol. Technical Report CS-R9420, Centruum voor Wiskunde en Informatica (CWI), March 1994"},{"key":"84_CR14","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1985) Communicating Sequential Processes. Prentice Hall","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"84_CR15","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/2993.357247","volume":"6","author":"Lamport","year":"1984","unstructured":"Lamport L, Schneider FB (1984) The \u201cHoare Logic\u201d of CSP, and All That. ACM Transactions on Programming Languages and Systems 6(2):281\u2013296, April 1984","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"84_CR16","unstructured":"Mateescu R (1996) Formal Description and Analysis of a Bounded Retransmission Protocol. INRIA Rapport de recherche 2965"},{"key":"84_CR17","doi-asserted-by":"crossref","unstructured":"Morgan CC (1990) Of wp and CSP. In: Feijen WHJ, van Gasteren AJM, Gries D, Misra J (eds) Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer","DOI":"10.1007\/978-1-4612-4476-9_37"},{"key":"84_CR18","unstructured":"Roscoe AW (1998) The Theory and Practice of Concurrency. Prentice Hall"},{"key":"84_CR19","doi-asserted-by":"crossref","unstructured":"Schneider S, Treharne H (2002) Communicating B Machines. In: ZB2002, Grenoble, January 2002, LNCS, vol 2272, Springer","DOI":"10.1007\/3-540-45648-1_22"},{"key":"84_CR20","unstructured":"Schneider S, Treharne H (2002) CSP Theorems for Communicating B Machines. Technical Report CSD-TR-02-12, Dept. of Computer Science, Royal Holloway"},{"key":"84_CR21","unstructured":"Schneider SA (1999) Concurrent and Real-Time Systems: the CSP Approach. John Wiley"},{"key":"84_CR22","doi-asserted-by":"crossref","unstructured":"Fischer C (1997) CSP-OZ: A combination of Object-Z and CSP. In: Bowman H, Derrick J (eds) Formal Methods for Open Object-Based Distributed Systems (FMOODS \u201997), vol 2. Chapman & Hall","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"84_CR23","unstructured":"Stepney S, Cooper D, Woodcock J (2000) An Electronic Purse Specification, Refinement and Proof. Oxford University Computing Laboratory, Technical Monograph PRG-126, July 2000"},{"key":"84_CR24","unstructured":"Treharne H (2000) Controlling Software Specifications. PhD Thesis, Royal Holloway, University of London"},{"key":"84_CR25","doi-asserted-by":"crossref","unstructured":"Treharne H, Schneider S, Bramble M (2003) Composing Specifications using Communication. In: ZB2003, Grenoble, June 2003, LNCS, vol 2651, Springer","DOI":"10.1007\/3-540-44880-2_5"},{"key":"84_CR26","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","volume":"89","author":"Vissers","year":"1991","unstructured":"Vissers CA, Scollo G, van Sinderen M, Brinksma E (1991) Specification Styles in Distributed Systems Design and Verification. TCS 89:179\u2013206","journal-title":"TCS"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0084-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-005-0084-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0084-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-005-0084-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T08:57:22Z","timestamp":1586249842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-005-0084-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["84"],"URL":"https:\/\/doi.org\/10.1007\/s10270-005-0084-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7]]}}}