{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:41:27Z","timestamp":1725518487218},"publisher-location":"Dordrecht","reference-count":9,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402088889"},{"type":"electronic","value":"9781402088896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-1-4020-8889-6_13","type":"book-chapter","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T16:40:42Z","timestamp":1221324042000},"page":"119-126","source":"Crossref","is-referenced-by-count":0,"title":["Quality Assurance for Concurrent Software \u2013 An Actor-Based Approach"],"prefix":"10.1007","author":[{"given":"Rodger","family":"Burmeister","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1_13","unstructured":"Sutter H (2005) The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software. In: Dr. Dobb\u2019s Journal 30(3), March 2005."},{"key":"13_CR2_13","doi-asserted-by":"crossref","unstructured":"Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson T (1997) Eraser: A Dynamic Data race Detector for Multithreaded Programs. In: ACM Transactions on Computer Systems (TOCS) 15(4), 391-411.","DOI":"10.1145\/265924.265927"},{"issue":"1","key":"13_CR3_13","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O Edelstein","year":"2002","unstructured":"Edelstein O, Farchi E, Nir Y, Ratsaby G, Ur S (2002) Multithreaded Java Program Test Generation. In: IBM Systems Journal 41(1), 111-125.","journal-title":"IBM Systems Journal"},{"key":"13_CR4_13","doi-asserted-by":"crossref","unstructured":"Agha GA (1985) Actors: A Model of Concurrent Computation in Distributed Systems. Technical Report 844, MIT Artificial Intelligence Laboratory.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"13_CR5_13","unstructured":"Hewitt C, Bishop P, Steiger R (1973) A Universal Modular ACTOR Formalism for Artificial Intelligence. In: Proceedings of the International Joint Conferences on Artificial Intelligence 1973,235-245."},{"key":"13_CR6_13","unstructured":"Yonezawa A 1990. ABCL: An Object-Oriented Concurrent System - Theory, Language, Programming, Implementation and Application. Computer System Series. MIT Press."},{"key":"13_CR7_13","volume-title":"Programming Erlang - Software for a Concurrent World","author":"J Armstrong","year":"2007","unstructured":"Armstrong J (2007) Programming Erlang - Software for a Concurrent World. Raleigh, North Carolina."},{"key":"13_CR8_13","doi-asserted-by":"crossref","unstructured":"Haller P, Odersky M (2006) Event-Based Programming without Inversion of Control. LNCS, doi: 10.1007\/11860990 2","DOI":"10.1007\/11860990"},{"key":"13_CR9_13","doi-asserted-by":"crossref","unstructured":"Pugh W, Ayewah W (2007) Unit Testing Concurrent Software. In: Proceedings of the twentysecond IEEE\/ACM International Conference on Automated Software Engineering, 513-516.","DOI":"10.1145\/1321631.1321722"}],"container-title":["Autonomous Systems \u2013 Self-Organization, Management, and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8889-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T12:17:18Z","timestamp":1631794638000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8889-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9781402088889","9781402088896"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8889-6_13","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}