{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T04:29:06Z","timestamp":1774672146115,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642245794","type":"print"},{"value":"9783642245800","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24580-0_5","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:21:42Z","timestamp":1320214902000},"page":"48-63","source":"Crossref","is-referenced-by-count":6,"title":["Conformance Relations for Distributed Testing Based on CSP"],"prefix":"10.1007","author":[{"given":"Ana","family":"Cavalcanti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Claude","family":"Gaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Hierons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-0-387-35381-4_5","volume-title":"11th IFIP Workshop on Testing of Communicating Systems","author":"E. Brinksma","year":"1998","unstructured":"Brinksma, E., Heerink, L., Tretmans, J.: Factorized test generation for multi-input\/output transition systems. In: 11th IFIP Workshop on Testing of Communicating Systems, pp. 67\u201382. Kluwer Academic Publishers, Dordrecht (1998)"},{"issue":"11-12","key":"5_CR2","first-page":"767","volume":"41","author":"L. Cacciari","year":"1999","unstructured":"Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. IST\u00a041(11-12), 767\u2013780 (1999)","journal-title":"IST"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-76650-6_10","volume-title":"Formal Methods and Software Engineering","author":"A.L.C. Cavalcanti","year":"2007","unstructured":"Cavalcanti, A.L.C., Gaudel, M.-C.: Testing for Refinement in CSP. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol.\u00a04789, pp. 151\u2013170. Springer, Heidelberg (2007)"},{"key":"5_CR4","first-page":"483","volume-title":"PSTV","author":"R. Dssouli","year":"1985","unstructured":"Dssouli, R., Bochmann, G.v.: Error detection with multiple observers. In: PSTV, pp. 483\u2013494. Elsevier Science, Amsterdam (1985)"},{"key":"5_CR5","unstructured":"Hierons, R.M.: Overcoming controllability problems in distributed testing from an input output transition system (submitted), \n                  \n                    people.brunel.ac.uk\/~csstrmh\/coord.pdf"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-88387-6_16","volume-title":"Automated Technology for Verification and Analysis","author":"R.M. Hierons","year":"2008","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Controllable test cases for the distributed test architecture. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 201\u2013215. Springer, Heidelberg (2008)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-68524-1_15","volume-title":"Testing of Software and Communicating Systems","author":"R.M. Hierons","year":"2008","unstructured":"Hierons, R.M., Merayo, M.G., Nunez, M.: Implementation relations for the distributed test architecture. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 200\u2013215. Springer, Heidelberg (2008)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Scenarios-based testing of systems with distributed ports. Software - Practice and Experience (accepted for publication, 2011), doi:10.1002\/spe.1062","DOI":"10.1002\/spe.1062"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Nunez, M.: Scenarios-based testing of systems with distributed ports. In: 10th QSIC (2010)","DOI":"10.1109\/QSIC.2010.43"},{"key":"5_CR10","unstructured":"Jacob, J.: Refinement of shared systems. In: The Theory and Practice of Refinement, pp. 27\u201336. Butterworths (1989)"},{"issue":"12","key":"5_CR11","first-page":"805","volume":"45","author":"C. Jard","year":"2003","unstructured":"Jard, C.: Synthesis of distributed testers from true-concurrency models of reactive systems. IST\u00a045(12), 805\u2013814 (2003)","journal-title":"IST"},{"key":"5_CR12","first-page":"353","volume-title":"FORTE","author":"C. Jard","year":"1998","unstructured":"Jard, C., J\u00e9ron, T., Kahlouche, H., Viho, C.: Towards automatic distribution of testers for distributed conformance testing. In: FORTE, pp. 353\u2013368. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/3-540-36135-9_7","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"S. Pickin","year":"2002","unstructured":"Pickin, S., Jard, C., Traon, Y.L., J\u00e9ron, T., J\u00e9z\u00e9quel, J.-M., Guennec, A.L.: System test synthesis from UML models of distributed software. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 97\u2013113. Springer, Heidelberg (2002)"},{"key":"5_CR14","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","volume":"32","author":"B. Sarikaya","year":"1984","unstructured":"Sarikaya, B., Bochmann, G.v.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications\u00a032, 389\u2013395 (1984)","journal-title":"IEEE Transactions on Communications"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/s00165-005-0083-8","volume":"18","author":"H. Ural","year":"2006","unstructured":"Ural, H., Williams, C.: Constructing checking sequences for distributed testing. FAC\u00a018(1), 84\u2013101 (2006)","journal-title":"FAC"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24580-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T07:32:59Z","timestamp":1620027179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24580-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245794","9783642245800"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24580-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}