{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:42:49Z","timestamp":1725615769381},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540761914"},{"type":"electronic","value":"9781447109976"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0997-6_21","type":"book-chapter","created":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T16:07:46Z","timestamp":1317398866000},"page":"265-280","source":"Crossref","is-referenced-by-count":3,"title":["Safe combinations of services using B"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Mermet","sequence":"first","affiliation":[]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B book - Assigning Programs to Meanings","author":"J-R Abrial","year":"1996","unstructured":"J.-R. Abrial. The B book - Assigning Programs to Meanings. Cambridge University Press, 1996."},{"key":"21_CR2","volume-title":"Feature Interactions in Telecommunications Systems","author":"J Blom","year":"1994","unstructured":"J. Blom, B. Jonsson, and L. Kempe. Using temporal logic for modular specification of telephone services. In L.G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems. IOS Press, 1994."},{"volume-title":"Feature Interactions in Telecommunications Systems","year":"1994","key":"21_CR3","unstructured":"L.G. Bouma and H. Velthuijsen, editors. Feature Interactions in Telecommunications Systems. IOS Press, 1994."},{"key":"21_CR4","unstructured":"M. Carnot, C. DaSilva, B. Dehbonei, and F. Mejia. Error-free sofware development for critical systems using the b technology. In Proceedings of the\n                Third IEEE International Conference on Software Reliability Engineering, October 1992."},{"volume-title":"Feature Interactions in Telecommunications Systems","year":"1996","key":"21_CR5","unstructured":"K.E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications Systems. IOS Press, 1996."},{"key":"21_CR6","volume-title":"Feature Interactions in Telecommunications Systems","author":"M Faci","year":"1994","unstructured":"M. Faci and L. Logrippo. Formlisation of a user view of network and services for feature interaction detection. In L.G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems. IOS Press, 1994."},{"key":"21_CR7","first-page":"19","volume-title":"Assigning meanings to programs","author":"RW Floyd","year":"1967","unstructured":"R.W. Floyd. Assigning meanings to programs. In J.T. Schwartz, editor, Proc\n                . Symp. AppL Math. 19, Mathematical Aspects of Computer Science, pages 19 \u2013 32. American Mathematical Society, 1967."},{"key":"21_CR8","volume-title":"Feature Interactions in Telecommunications Systems","author":"A Gammelgaard","year":"1994","unstructured":"A. Gammelgaard and J.E. Kristensen. Interaction detection, a logical approach. In L.G. Bouma and H. Velthuijsen, editors, Feature Interactions\n                in Telecommunications Systems. IOS Press, 1994."},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the Association for Computing Machinery, 12:576\u2013580, 1969.","journal-title":"Communications of the Association for Computing Machinery"},{"key":"21_CR10","volume-title":"Applying the B technologies to CICS","author":"J Hoare","year":"1996","unstructured":"J. Hoare, J. Dick, D. Neilson, and I. Sorensen. Applying the B technologies to CICS. In J. Woodcock, editor, FME.96. Springer-Verlag, March 1996. LNCS 1051."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"B. Kelly, M. Crowther, and J. King. Feature interaction detection using sdl models. In GLOBECOM. Communications: The Global Bridge.\n                Conference Record, pages 1857\u201361. IEEE, 1994.","DOI":"10.1109\/GLOCOM.1994.513192"},{"issue":"3","key":"21_CR12","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"L. Lamport. A temporal logic of actions. Transactions On Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"Transactions On Programming Languages and Systems"},{"key":"21_CR13","unstructured":"B-Core(UK) Ltd. B-Toolkit User\u2019s Manual, relase 3.2 edition, 1996."},{"key":"21_CR14","unstructured":"B. Mermet and D. Mery. Feature interaction detection in b. Internal report, Centre de Recherche en Informatique de Nancy CNRS URA262, january, 15 1997."},{"key":"21_CR15","unstructured":"J. Nystrom. A formalization of service indepedent building blocks. In AIN\u201996. Mars 25 \u201326, 1996."},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs i. Acta Informatica, 6:319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"21_CR17","unstructured":"GEC Alsthom Transport, DIGILOG, SNCF, INRETS, and RATP. Atelier B, Version 3.0, Manuel de Reference du Langage B. STERIA DIGILOG, 1996."},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0020-0190(90)90027-U","volume":"35","author":"AJM Gasteren van","year":"1990","unstructured":"A.J.M. van Gasteren and G. Tel. Comments on \u201con the proof of a distributed algorithm\u201d: always true is not invariant. Information Processing\n                Letters, 35:277\u2013279, 1990.","journal-title":"Information Processing Letters"}],"container-title":["Safe Comp 97"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0997-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T01:01:18Z","timestamp":1619830878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0997-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540761914","9781447109976"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0997-6_21","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}