{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:31:04Z","timestamp":1767929464010,"version":"3.49.0"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319703886","type":"print"},{"value":"9783319703893","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-70389-3_6","type":"book-chapter","created":{"date-parts":[[2017,11,11]],"date-time":"2017-11-11T09:42:30Z","timestamp":1510393350000},"page":"83-98","source":"Crossref","is-referenced-by-count":7,"title":["Trace-Based Run-Time Analysis of Message-Passing Go Programs"],"prefix":"10.1007","author":[{"given":"Martin","family":"Sulzmann","sequence":"first","affiliation":[]},{"given":"Kai","family":"Stadtm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,12]]},"reference":[{"key":"6_CR1","unstructured":"Fidge, C.J.: Timestamps in message-passing systems that preserve the partial ordering 10(1), 56\u201366 (1987)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N.: Fasttrack: Efficient and precise dynamic race detection. In: Proc. of PLDI 2009, pp. 121\u2013133. ACM (2009)","DOI":"10.1145\/1542476.1542490"},{"issue":"5\u20136","key":"6_CR3","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/s00446-006-0018-5","volume":"19","author":"VK Garg","year":"2007","unstructured":"Garg, V.K., Skawratananond, C., Mittal, N.: Timestamping messages and events in a distributed system using synchronous communication. Distributed Computing 19(5\u20136), 387\u2013402 (2007)","journal-title":"Distributed Computing"},{"key":"6_CR4","unstructured":"The Go programming language. https:\/\/golang.org\/"},{"key":"6_CR5","unstructured":"Trace-based run-time analysis of message-passing Go programs. https:\/\/github.com\/KaiSta\/gopherlyzer-GoScout"},{"issue":"8","key":"6_CR6","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"issue":"7","key":"6_CR7","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"6_CR8","unstructured":"Mattern, F. : Virtual time and global states of distributed systems. In: Parallel and Distributed Algorithms, pp. 215\u2013226. North-Holland (1989)"},{"issue":"3","key":"6_CR9","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1002\/cpe.1064","volume":"19","author":"E Pozniansky","year":"2007","unstructured":"Pozniansky, E., Schuster, A.: Multirace: efficient on-the-fly data race detection in multithreaded C++ programs. Concurrency and Computation: Practice and Experience 19(3), 327\u2013340 (2007)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"6_CR10","unstructured":"Tasharofi, S.: Efficient testing of actor programs with non-deterministic behaviors. PhD thesis, University of Illinois at Urbana-Champaign (2013)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Vo, A. : Scalable Formal Dynamic Verification of Mpi Programs Through Distributed Causality Tracking. PhD thesis, University of Utah (2011), AAI3454168","DOI":"10.1109\/IPDPSW.2010.5470683"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70389-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T21:29:22Z","timestamp":1570310962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70389-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319703886","9783319703893"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70389-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}