{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:30Z","timestamp":1725455910326},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351815"},{"type":"electronic","value":"9783642351822"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35182-2_15","type":"book-chapter","created":{"date-parts":[[2012,12,6]],"date-time":"2012-12-06T01:19:15Z","timestamp":1354756755000},"page":"207-222","source":"Crossref","is-referenced-by-count":15,"title":["Dynamic Software Update for Message Passing Programs"],"prefix":"10.1007","author":[{"given":"Gabrielle","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Rathke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Ajmani, S.: Automatic Software Upgrades for Distributed Systems. Artificial Intelligence (Cm), 1\u201323 (2004)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, G.: Behavioural Properties and Dynamic Software Update for Concurrent Programs. Ph.D. Thesis, University of Southampton (2012)","DOI":"10.1007\/978-3-642-35182-2_15"},{"key":"15_CR3","unstructured":"Appel, A.: Hot-sliding in ML. Technical report. Princeton University, Princeton, New Jersey, USA"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L. Bettini","year":"2008","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 418\u2013433. Springer, Heidelberg (2008)"},{"key":"15_CR5","unstructured":"Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing Dynamic Software Updating. In: Proceedings of the 2nd Workshop on Unanticipated Software Evolution"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Liskov, B., Shrira, L., Moh, C.-H., Richman, S.: Lazy Modular Upgrades In Persistent Object Stores. In: Proceedings of the 18th on Object-oriented Programing, Systems, Languages, and Applications, pp. 403\u2013417","DOI":"10.1145\/949343.949341"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-15375-4_24","volume-title":"CONCUR 2010 - Concurrency Theory","author":"P.-M. Deni\u00e9lou","year":"2010","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Buffered Communication Analysis in Distributed Multiparty Sessions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 343\u2013357. Springer, Heidelberg (2010)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14458-5_1","volume-title":"Web Services and Formal Methods","author":"M. Dezani-Ciancaglini","year":"2010","unstructured":"Dezani-Ciancaglini, M., de\u2019Liguoro, U.: Sessions and Session Types: An Overview. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol.\u00a06194, pp. 1\u201328. Springer, Heidelberg (2010)"},{"key":"15_CR9","unstructured":"Hayden, C.M., Smith, E.K., Denchev, M., Hicks, M., Foster, J.S.: Kitsune: Efficient, General-purpose Dynamic Software Updating for C"},{"key":"15_CR10","unstructured":"Hayden, C.M., Smith, E.K., Hicks, M., Foster, J.S.: State Transfer for Clear and Efficient Runtime Upgrades. In: Proceedings of the 3rd Workshop on Hot Topics in Software Upgrades"},{"key":"15_CR11","unstructured":"Hayden, C.M., Saur, K., Hicks, M., Foster, J.S.: A Study of Dynamic Software Update Quiescence for Multithreaded Programs. In: Proceedings of the 4th Workshop on Hot Topics in Software Upgrades"},{"issue":"6","key":"15_CR12","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1145\/1108970.1108971","volume":"27","author":"M. Hicks","year":"2005","unstructured":"Hicks, M., Nettles, S.: Dynamic Software Updating. ACM Trans. Program. Lang. Syst.\u00a027(6), 1049\u20131096 (2005) ISSN 0164-0925","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types (January 2008) ISSN 0362-1340","DOI":"10.1145\/1328897.1328472"},{"key":"15_CR14","unstructured":"Lea, D.: Concurrent Programming in Java: Design Principles and Patterns, 2nd edn. Addison-Wesley Longman Publishing Co., Inc. (1999)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Neamtiu, I., Hicks, M.: Safe and Timely Dynamic Updates to Multi-threaded Programs. In: Proceedings of the Conference on Programming Language Design and Implementation, pp. 13\u201324","DOI":"10.1145\/1543135.1542479"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Stoyle, G., Hicks, M., Bierman, G., Sewell, P., Neamtiu, I.: Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst.\u00a029(4), 183\u2013194","DOI":"10.1145\/1255450.1255455"},{"key":"15_CR17","unstructured":"Subramanian, S.: Dynamic Software Updates: A VM-Centric Approach. PhD thesis, University of Texas at Austin"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35182-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T18:51:14Z","timestamp":1557427874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35182-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351815","9783642351822"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35182-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}