{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:03:30Z","timestamp":1766048610055,"version":"3.41.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319238197"},{"type":"electronic","value":"9783319238203"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23820-3_3","type":"book-chapter","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T14:21:39Z","timestamp":1442672499000},"page":"38-54","source":"Crossref","is-referenced-by-count":18,"title":["Runtime Adaptation for Actor Systems"],"prefix":"10.1007","author":[{"given":"Ian","family":"Cassar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Francalanza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,15]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-49019-1_4","volume-title":"Foundations of Software Science and Computation Structures","author":"L Aceto","year":"1999","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: Testing hennessy-milner logic with recursion. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol. 1578, pp. 41\u201355. Springer, Heidelberg (1999)"},{"key":"3_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"3_CR3","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007). ISBN: 193435600X"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-38592-6_5","volume-title":"Formal Techniques for Distributed Systems","author":"L Bocchi","year":"2013","unstructured":"Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol. 7892, pp. 50\u201365. Springer, Heidelberg (2013)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bodden, E.: Efficient hybrid typestate analysis by determining continuation-equivalent states. ICSE, pp. 5\u201314. ACM (2010)","DOI":"10.1145\/1806799.1806805"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-16612-9_8","volume-title":"Runtime Verification","author":"E Bodden","year":"2010","unstructured":"Bodden, E., Lam, P.: Clara: partially evaluating runtime monitors at compile time. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 74\u201388. Springer, Heidelberg (2010)"},{"key":"3_CR7","first-page":"54","volume":"175","author":"I Cassar","year":"2014","unstructured":"Cassar, I., Francalanza, A.: On synchronous and asynchronous monitor instrumentation for actor-based systems. FOCLASA 175, 54\u201368 (2014)","journal-title":"FOCLASA"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Castellani, I., Dezani-Ciancaglini, M., P\u00e9rez, J.A.: Self-adaptation and secure information flow in multiparty structured commun.: a unified perspective. In: BEAT, pp. 9\u201318 (2014)","DOI":"10.4204\/EPTCS.162.2"},{"key":"3_CR9","unstructured":"Cesarini, F., Thompson, S.: ERLANG Programming, 1st edn. O\u2019Reilly (2009). ISBN: 0596518188, 9780596518189"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-29860-8_29","volume-title":"Runtime Verification","author":"C Colombo","year":"2012","unstructured":"Colombo, C., Francalanza, A., Gatt, R.: Elarva: a monitoring tool for erlang. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 370\u2013374. Springer, Heidelberg (2012)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-24690-6_15","volume-title":"Software Engineering and Formal Methods","author":"Y Falcone","year":"2011","unstructured":"Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime verification of component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 204\u2013220. Springer, Heidelberg (2011)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Francalanza, A., Seychell, A.: Synthesising correct concurrent runtime monitors. In: Formal Methods in System Design (FMSD), pp. 1\u201336 (2014)","DOI":"10.1007\/s10703-014-0217-9"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-69073-3_23","volume-title":"Models in Software Engineering","author":"HJ Goldsby","year":"2008","unstructured":"Goldsby, H.J., Cheng, B.H.C., Zhang, J.: AMOEBA-RT: run-time verification of adaptive software. In: Giese, H. (ed.) MODELS 2008. LNCS, vol. 5002, pp. 212\u2013224. Springer, Heidelberg (2008)"},{"key":"3_CR14","volume-title":"Actors in Scala","author":"P Haller","year":"2012","unstructured":"Haller, P., Sommers, F.: Actors in Scala. Artima Inc., Walnut Creek (2012)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Irmert, F., Fischer, T., Meyer-Wegener, K.: Runtime adaptation in a service-oriented component model. In: SEAMS, pp. 97\u2013104. ACM (2008)","DOI":"10.1145\/1370018.1370036"},{"key":"3_CR16","unstructured":"Kalareh, M.A.: Evolving Software Systems for Self-Adaptation. Ph.D. thesis, University of Waterloo, Ontario, Canada (2012)"},{"key":"3_CR17","first-page":"2110","volume":"14","author":"S Kell","year":"2008","unstructured":"Kell, S.: A survey of pract. software adaptation techniques. J. UCS 14, 2110\u20132157 (2008)","journal-title":"J. UCS"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$ \u03bc -calculus. TCS 27, 333\u2013354 (1983)","journal-title":"TCS"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/2666356.2594337","volume":"49","author":"F Long","year":"2014","unstructured":"Long, F., Sidiroglou-Douskos, S., Rinard, M.: Automatic runtime error repair and containment via recovery shepherding. SIGPLAN Not. 49, 227\u2013238 (2014)","journal-title":"SIGPLAN Not."},{"key":"3_CR20","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc, Upper Saddle River (1989)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Runtime software adaptation: framework, approaches, and styles. In: ICSE Companion, pp. 899\u2013910. ACM (2008)","DOI":"10.1145\/1370175.1370181"},{"volume-title":"Advanced Topics in Types and Prog. Languages","year":"2005","key":"3_CR22","unstructured":"Pierce, B.C. (ed.): Advanced Topics in Types and Prog. Languages. MIT Press, Cambridge (2005)"},{"key":"3_CR23","unstructured":"Rinard, M., Cadar, C., Dumitran, D., Roy, D., Leu, T., Beebee, W.: Enhancing availability & security through failure-oblivious computing. In: OSDI, pp. 303\u2013316. USENIX (2004)"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G Ro\u015fu","year":"2005","unstructured":"Ro\u015fu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Autom. Softw. Eng. 12, 151\u2013197 (2005)","journal-title":"Autom. Softw. Eng."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Sen, K., Vardhan, A., Agha, G., Ro\u015fu, G.: Efficient decentralized monitoring of safety in distributed systems. ICSE, pp. 418\u2013427 (2004)","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"3_CR26","first-page":"1361","volume":"79","author":"J Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.: Using temporal logic to specify adaptive program semantics. JSS 79, 1361\u20131369 (2006)","journal-title":"JSS"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23820-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T18:33:18Z","timestamp":1748629998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-23820-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319238197","9783319238203"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23820-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}