{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:59Z","timestamp":1750307819045,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,25]],"date-time":"2008-03-25T00:00:00Z","timestamp":1206403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,25]]},"DOI":"10.1145\/1379350.1379357","type":"proceedings-article","created":{"date-parts":[[2012,10,12]],"date-time":"2012-10-12T19:06:53Z","timestamp":1350068813000},"page":"43-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Action synchronization in P2P system testing"],"prefix":"10.1145","author":[{"given":"Eduardo Cunha","family":"de Almeida","sequence":"first","affiliation":[{"name":"Univ. of Nantes"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Suny\u00e9","sequence":"additional","affiliation":[{"name":"Univ. of Nantes"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Valduriez","sequence":"additional","affiliation":[{"name":"Univ. of Nantes"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Freepastry http:\/\/freepastry.rice.edu\/freepastry\/.  Freepastry http:\/\/freepastry.rice.edu\/freepastry\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Grid5000 project http:\/\/www.grid5000.fr\/.  Grid5000 project http:\/\/www.grid5000.fr\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Meteor P2P distributed hash-table JXTA project http:\/\/meteor.jxta.org.  Meteor P2P distributed hash-table JXTA project http:\/\/meteor.jxta.org."},{"key":"e_1_3_2_1_4_1","unstructured":"Openchord http:\/\/open-chord.sourceforge.net\/.  Openchord http:\/\/open-chord.sourceforge.net\/."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141697"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/90.374116"},{"key":"e_1_3_2_1_7_1","volume-title":"A demonstration in BDA conference","author":"Dragan F.","year":"2006","unstructured":"F. Dragan , B. Butnaru , I. Manolescu , G. Gardarin , N. Preda , B. Nguyen , R. Pop , and L. Yeh . P2ptester: a tool for measuring P2P platform performance . In A demonstration in BDA conference , 2006 . F. Dragan, B. Butnaru, I. Manolescu, G. Gardarin, N. Preda, B. Nguyen, R. Pop, and L. Yeh. P2ptester: a tool for measuring P2P platform performance. In A demonstration in BDA conference, 2006."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 19th Brazilian Symposium on Software Engineer.","author":"Duarte A.","year":"2005","unstructured":"A. Duarte , W. Cirne , F. Brasileiro , and P. Machado . Using the computational grid to speed up software testing . In Proceedings of the 19th Brazilian Symposium on Software Engineer. , 2005 . A. Duarte, W. Cirne, F. Brasileiro, and P. Machado. Using the computational grid to speed up software testing. In Proceedings of the 19th Brazilian Symposium on Software Engineer., 2005."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134410"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00169-0"},{"key":"e_1_3_2_1_11_1","volume-title":"IRISA\/CNRS","author":"Jard C.","year":"2001","unstructured":"C. Jard . Principles of distribute test synthesis based on true-concurrency models. Technical report , IRISA\/CNRS , 2001 . C. Jard. Principles of distribute test synthesis based on true-concurrency models. Technical report, IRISA\/CNRS, 2001."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0153-x"},{"key":"e_1_3_2_1_13_1","first-page":"1","volume-title":"Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science","author":"Burch J. R.","year":"1990","unstructured":"J. R. Burch , E. M. Clarke , K. L. McMillan , D. L. Dill , and L. J. Hwang . Symbolic Model Checking: 1020 States and Beyond . In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science , pages 1 -- 33 , Washington, D.C. , 1990 . IEEE Computer Society Press. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic Model Checking: 1020 States and Beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 1--33, Washington, D.C., 1990. IEEE Computer Society Press."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 18th International Conference on Testing Computer Software, Washington, D.C.","author":"Kapfhammer G. M.","year":"2001","unstructured":"G. M. Kapfhammer . Automatically and transparently distributing the execution of regression test suites . In Proceedings of the 18th International Conference on Testing Computer Software, Washington, D.C. , June 2001 . G. M. Kapfhammer. Automatically and transparently distributing the execution of regression test suites. In Proceedings of the 18th International Conference on Testing Computer Software, Washington, D.C., June 2001."},{"key":"e_1_3_2_1_15_1","volume-title":"System test synthesis from UML models of distributed software. ACM - 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems","author":"Pickin S.","year":"2002","unstructured":"S. Pickin , C. Jard , Y. Le Traon , T. J\u00e9ron , J.-M. J\u00e9z\u00e9quel , and A. Le Guennec . System test synthesis from UML models of distributed software. ACM - 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems , 2002 . S. Pickin, C. Jard, Y. Le Traon, T. J\u00e9ron, J.-M. J\u00e9z\u00e9quel, and A. Le Guennec. System test synthesis from UML models of distributed software. ACM - 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems, 2002."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383072"},{"key":"e_1_3_2_1_17_1","first-page":"393","volume-title":"IS&N","author":"Schieferdecker I.","year":"1998","unstructured":"I. Schieferdecker , M. Li , and A. Hoffmann . Conformance testing of tina service components - the ttcn\/ corba gateway . In IS&N , pages 393 408, 1998 . I. Schieferdecker, M. Li, and A. Hoffmann. Conformance testing of tina service components - the ttcn\/ corba gateway. In IS&N, pages 393 408, 1998."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383071"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.79"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 12th International Software Quality Week","author":"Ulrich A.","year":"1999","unstructured":"A. Ulrich , P. Zimmerer , and G. Chrobok-Diening . Test architectures for testing distributed systems . In Proceedings of the 12th International Software Quality Week , 1999 . A. Ulrich, P. Zimmerer, and G. Chrobok-Diening. Test architectures for testing distributed systems. In Proceedings of the 12th International Software Quality Week, 1999."},{"key":"e_1_3_2_1_21_1","volume-title":"Test architectures for distributed systems - state of the art and beyond","author":"Walter T.","year":"1998","unstructured":"T. Walter . I. Schieferdecker , and J. Grabowsld . Test architectures for distributed systems - state of the art and beyond , 1998 . T. Walter. I. Schieferdecker, and J. Grabowsld. Test architectures for distributed systems - state of the art and beyond, 1998."}],"event":{"name":"EDBT '08: 11th International Conference on Extending Database Technology","acronym":"EDBT '08","location":"Nantes France"},"container-title":["Proceedings of the 2008 international workshop on Data management in peer-to-peer systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1379350.1379357","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1379350.1379357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:45Z","timestamp":1750255065000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1379350.1379357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,25]]},"references-count":21,"alternative-id":["10.1145\/1379350.1379357","10.1145\/1379350"],"URL":"https:\/\/doi.org\/10.1145\/1379350.1379357","relation":{},"subject":[],"published":{"date-parts":[[2008,3,25]]},"assertion":[{"value":"2008-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}