{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:04:42Z","timestamp":1725573882306},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_4","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:35:57Z","timestamp":1294396557000},"page":"34-47","source":"Crossref","is-referenced-by-count":1,"title":["Using Formal Methods to Serialize Synchronization Events"],"prefix":"10.1007","author":[{"given":"Jessica","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/200912.200913","volume":"13","author":"P. Bates","year":"1995","unstructured":"Bates, P.: Debugging heterogeneous distributed systems using event-based models of behavior. ACM Transactions on Computer Systems\u00a013(1), 1\u201331 (1995)","journal-title":"ACM Transactions on Computer Systems"},{"key":"4_CR2","unstructured":"Bechini, A., Tai, K.: Design of a toolset for dynamic analysis of concurrent Java programs. In: Proc. of the 6th International Workshop on Program Comprehension, Ischia, Italy (June 1998)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Control\u00a060, 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Brinskma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: LNCS, vol.\u00a01067, pp. 187\u2013195. Springer, Heidelberg (2001)","DOI":"10.1007\/3-540-45510-8_9"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/APAQ.2000.883775","volume-title":"Proc. of the First Asia-Pacific Conference on Quality Software (APAQS 2000)","author":"X. Cai","year":"2000","unstructured":"Cai, X., Chen, J.: Control of nondeterminism in testing distributed multithreaded programs. In: Proc. of the First Asia-Pacific Conference on Quality Software (APAQS 2000), pp. 29\u201338. IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"2","key":"4_CR6","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.73751","volume":"8","author":"R.H. Carver","year":"1991","unstructured":"Carver, R., Tai, K.: Replay and testing for concurrent programs. In: IEEE Software, March 1991, pp. 66\u201374 (1991)","journal-title":"IEEE Software"},{"issue":"6","key":"4_CR7","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/32.689403","volume":"24","author":"R. Carver","year":"1998","unstructured":"Carver, R., Tai, K.: Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering\u00a024(6), 471\u2013490 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-45254-0_13","volume-title":"Engineering Distributed Objects","author":"J. Chen","year":"2001","unstructured":"Chen, J.: On using static analysis in distributed system testing. In: Emmerich, W., Tai, S. (eds.) EDO 2000. LNCS, vol.\u00a01999, pp. 145\u2013162. Springer, Heidelberg (2001)"},{"key":"4_CR9","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall Int., London (1985)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0167-6423(81)90005-8","volume":"1","author":"C. Hoare","year":"1981","unstructured":"Hoare, C.: A calculus of total correctness for communicating processes. Science of Computer Programming\u00a01, 49\u201372 (1981)","journal-title":"Science of Computer Programming"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Itoh, E., Furukawa, Z., Ushijima, K.: A prototype of a concurrent behavior monitoring tool for testing concurrent programs. In: Proc. of Asia-Pacific Software Engineering Conference (APSEC 1996), pp. 345\u2013354 (1996)","DOI":"10.1109\/APSEC.1996.566769"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/PDSE.1999.779742","volume-title":"Proc. of the International Symposium on Software Engineering for Parallel and Distributed Systems","author":"B. Karacali","year":"1999","unstructured":"Karacali, B., Tai, K.: Automated test sequence generation using sequencing constraints for concurrent programs. In: Proc. of the International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 97\u2013106. IEEE Computer Society Press, Los Alamitos (1999)"},{"issue":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1109\/32.345831","volume":"21","author":"S. Kenkatesan","year":"1995","unstructured":"Kenkatesan, S., Dathan, B.: Testing and debugging distributed programs using global predicates. IEEE Transactions on Software Engineering\u00a021(2), 163\u2013177 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"36","author":"T. Leblanc","year":"1987","unstructured":"Leblanc, T., Mellor-Crummey, J.: Debugging parallel programs with instant replay. IEEE Transactions on Computers\u00a036(4), 471\u2013482 (1987)","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR15","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, London (1989)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola","year":"1984","unstructured":"Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"key":"4_CR17","unstructured":"Sohn, H., Kung, D., Hsia, P., Toyoshima, Y., Chen, C.: Reproducible testing for distributed programs. In: Proc. of the 4th International Conference on Telecommunication Systems, Modeling and Analysis, Nashiville, Tennessee, March 1996, pp. 172\u2013179 (1996)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Sohn, H., Kung, D., Hsia, P.: State-based reproducible testing for CORBA applications. In: Proc. of IEEE Internaltional Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 1999), LA, USA, May 1999, pp. 24\u201335 (1999)","DOI":"10.1109\/PDSE.1999.779736"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing transition systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 46\u201365. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:43:15Z","timestamp":1559914995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}