{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:19:22Z","timestamp":1740097162733,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319235059"},{"type":"electronic","value":"9783319235066"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23506-6_10","type":"book-chapter","created":{"date-parts":[[2015,9,3]],"date-time":"2015-09-03T07:50:40Z","timestamp":1441266640000},"page":"133-151","source":"Crossref","is-referenced-by-count":1,"title":["Translating Testing Theories for Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Jan","family":"Peleska","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,10]]},"reference":[{"key":"10_CR1","unstructured":"Aeronautical Radio Inc: ARINC SPECIFICATION 653P1-2: Avionics Application Software Standard Interface, Part 1 - Required Services, December 2005"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, C., Cavalli, A.R.: How to reduce the cost of passive testing. In: 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25\u201327, 2012, pp. 209\u2013216. IEEE Computer Society (2012). \n                      http:\/\/dx.doi.org\/10.1109\/HASE.2012.36","DOI":"10.1109\/HASE.2012.36"},{"key":"10_CR3","volume-title":"Verification of Sequential and Concurrent Programs","author":"KR Apt","year":"2010","unstructured":"Apt, K.R., de Boer, F.S., Olderog, E.R.: Verification of Sequential and Concurrent Programs. Springer, Heidelberg (2010)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-28756-5_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Babiak","year":"2012","unstructured":"Babiak, T., Kret\u00ednsk\u00fd, M., \u0158eh\u00e1k, V., Strej\u010dek, J.: LTL to B\u00fcchi automata translation: fast and more deterministic. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 95\u2013109. Springer, Heidelberg (2012). \n                      http:\/\/link.springer.com\/chapter\/10.1007\/978-3-642-28756-5_8"},{"key":"10_CR5","volume-title":"Institution-independent Model Theory","author":"R Diaconescu","year":"2008","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Birkh\u00e4user Verlag AG, Basel (2008)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","volume-title":"Computer Aided Verification","author":"P Gastin","year":"2001","unstructured":"Gastin, P., Oddoux, D.: Fast LTL to B\u00fcchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 53\u201365. Springer, Heidelberg (2001). \n                      http:\/\/link.springer.com\/chapter\/10.1007\/3-540-44585-4_6"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Dembinski, P., Sredniawa, M. (eds.) PSTV, Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. IFIP Conference Proceedings, vol. 38, pp. 3\u201318. Chapman & Hall (1995)","DOI":"10.1007\/978-0-387-34892-6_1"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39(1), 95\u2013146 (1992). \n                      http:\/\/doi.acm.org\/10.1145\/147508.147524","journal-title":"J. ACM"},{"issue":"2","key":"10_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2015","unstructured":"Havelund, K.: Rule-based runtime verification revisited. STTT 17(2), 143\u2013170 (2015). \n                      http:\/\/dx.doi.org\/10.1007\/s10009-014-0309-2","journal-title":"STTT"},{"key":"10_CR10","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall (1998)"},{"key":"10_CR11","volume-title":"Communication Sequential Processes","author":"T Hoare","year":"1985","unstructured":"Hoare, T.: Communication Sequential Processes, vol. 07632. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Huang, W.l., Peleska, J.: Complete model-based equivalence class testing. International Journal on Software Tools for Technology Transfer, 1\u201319 (2014). \n                      http:\/\/dx.doi.org\/10.1007\/s10009-014-0356-8","DOI":"10.1007\/s10009-014-0356-8"},{"key":"10_CR13","unstructured":"Huang, W.l., Peleska, J., Schulze, U.: Contract Support for Evolving SoS. Public Document D34.3, COMPASS (2014). \n                      http:\/\/www.compass-research.eu\/deliverables.html"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-71998-4_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Roggenbach, M.: Structured CSP \u2013 a process algebra as an institution. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 92\u2013110. Springer, Heidelberg (2007). \n                      http:\/\/dx.doi.org\/10.1007\/978-3-540-71998-4_6"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-39979-7_20","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"AN Netravali","year":"2003","unstructured":"Netravali, A.N., Sabnani, K.K., Viswanathan, R.: Correct passive testing algorithms and complete fault coverage. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 303\u2013318. Springer, Heidelberg (2003). \n                      http:\/\/link.springer.com\/chapter\/10.1007\/978-3-540-39979-7_20"},{"issue":"2","key":"10_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF02259751","volume":"5","author":"J Peleska","year":"1991","unstructured":"Peleska, J.: Design and verification of fault tolerant systems with csp. Distributed Computing 5(2), 95\u2013106 (1991). \n                      http:\/\/dx.doi.org\/10.1007\/BF02259751","journal-title":"Distributed Computing"},{"key":"10_CR17","unstructured":"Peleska, J.: Formal methods for test automation - hard real-time testing of controllers for the airbus aircraft family. In: Proc. of the Sixth Biennial World Conference on Integrated Design & Process Technology (IDPT2002), Pasadena, California, June 23\u201328, 2002. Society for Design and Process Science, June 2002. ISSN 1090\u20139389"},{"volume-title":"A Classical Mind: Essays in Honour of C.A.R. Hoare","year":"1994","key":"10_CR18","unstructured":"Roscoe, A.W. (ed.): A Classical Mind: Essays in Honour of C.A.R. Hoare. Prentice Hall International (UK) Ltd., Hertfordshire (1994)"},{"key":"10_CR19","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"issue":"5","key":"10_CR20","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"AP Sistla","year":"1994","unstructured":"Sistla, A.P.: Safety, liveness and fairness in temporal logic. Formal Aspects of Computing 6(5), 495\u2013511 (1994). \n                      http:\/\/link.springer.com\/article\/10.1007\/BF01211865","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Correct System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23506-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T17:02:01Z","timestamp":1559235721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23506-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319235059","9783319235066"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23506-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}