{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:53Z","timestamp":1762459073763},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642376344"},{"type":"electronic","value":"9783642376351"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37635-1_9","type":"book-chapter","created":{"date-parts":[[2013,4,10]],"date-time":"2013-04-10T21:30:45Z","timestamp":1365629445000},"page":"143-160","source":"Crossref","is-referenced-by-count":11,"title":["Statistical Model Checking for Composite Actor Systems"],"prefix":"10.1007","author":[{"given":"Jonas","family":"Eckhardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"M\u00fchlbauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"\u00d8MQ: The Intelligent Transport Layer (August 07, 2012), http:\/\/www.zeromq.org\/"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press (1986)","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"9_CR3","unstructured":"Agha, G., Hewitt, C.: Concurrent programming using actors. In: Object-Oriented Concurrent Programming, pp. 37\u201353. MIT Press (1988)"},{"issue":"2","key":"9_CR4","first-page":"213","volume":"153","author":"G. Agha","year":"2006","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. ENTCS\u00a0153(2), 213\u2013239 (2006)","journal-title":"ENTCS"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: PVeStA: A parallel statistical model checking and quantitative analysis tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 386\u2013392. Springer, Heidelberg (2011)"},{"key":"9_CR6","first-page":"3","volume":"234","author":"M. AlTurki","year":"2009","unstructured":"AlTurki, M., Meseguer, J., Gunter, C.A.: Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. ENTCS\u00a0234, 3\u201318 (2009)","journal-title":"ENTCS"},{"key":"9_CR7","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang. Prentice Hall (1996)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-24310-3_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"L. Bentea","year":"2011","unstructured":"Bentea, L., \u00d6lveczky, P.C.: Probabilistic real-time rewrite theories and their expressive power. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol.\u00a06919, pp. 60\u201379. Springer, Heidelberg (2011)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-34005-5_7","volume-title":"Rewriting Logic and Its Applications","author":"R. Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol.\u00a07571, pp. 118\u2013138. Springer, Heidelberg (2012)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"9_CR11","unstructured":"Eckhardt, J.: A Formal Analysis of Security Properties in Cloud Computing. Master\u2019s thesis, LMU Munich, TU Munich (2011)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-642-28872-2_6","volume-title":"FASE","author":"J. Eckhardt","year":"2012","unstructured":"Eckhardt, J., M\u00fchlbauer, T., AlTurki, M., Meseguer, J., Wirsing, M.: Stable Availability under Denial of Service Attacks through Formal Patterns. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 78\u201393. Springer, Heidelberg (2012)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: WRLA. ENTCS, vol.\u00a071, pp. 162\u2013187 (2002)","DOI":"10.1016\/S1571-0661(05)82534-4"},{"key":"9_CR14","unstructured":"Haller, P., Sommers, F.: Actors in Scala. Artima Developer (2012)"},{"key":"9_CR15","unstructured":"Hewitt, C., Baker, H.G.: Laws for communicating parallel processes. In: IFIP Congress, pp. 987\u2013992 (1977)"},{"key":"9_CR16","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI, pp. 235\u2013245 (1973)"},{"issue":"12-13","key":"9_CR17","doi-asserted-by":"publisher","first-page":"1272","DOI":"10.1016\/j.tcs.2008.12.058","volume":"410","author":"M. Kwiatkowska","year":"2009","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Vigliotti, M.G.: Probabilistic Mobile Ambients. TCS\u00a0410(12-13), 1272\u20131303 (2009)","journal-title":"TCS"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through Probabilistic Testing. Inf. Comput.\u00a094(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47993-7_1","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Meseguer","year":"2002","unstructured":"Meseguer, J., Talcott, C.: Semantic Models for Distributed Object Reflection. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 1\u201336. Springer, Heidelberg (2002)"},{"key":"9_CR20","unstructured":"M\u00fchlbauer, T.: Formal Specification and Analysis of Cloud Computing Management. Master\u2019s thesis, LMU Munich, TU Munich (2011)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-34005-5_4","volume-title":"Rewriting Logic and Its Applications","author":"M. Wirsing","year":"2012","unstructured":"Wirsing, M., Eckhardt, J., M\u00fchlbauer, T., Meseguer, J.: Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol.\u00a07571, pp. 54\u201382. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37635-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,25]],"date-time":"2020-07-25T02:59:10Z","timestamp":1595645950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37635-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642376344","9783642376351"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37635-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}