{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T15:17:30Z","timestamp":1773155850096,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642134135","type":"print"},{"value":"9783642134142","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13414-2_9","type":"book-chapter","created":{"date-parts":[[2010,6,7]],"date-time":"2010-06-07T10:43:20Z","timestamp":1275907400000},"page":"122-136","source":"Crossref","is-referenced-by-count":8,"title":["Simulation and Analysis of Distributed Systems in Klaim"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Calzolai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci.\u00a0126, 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking Continuous Time Markov Chains. Transations on Computational Logic\u00a01(1), 162\u2013170 (2000)","journal-title":"Transations on Computational Logic"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48320-9_12","volume-title":"CONCUR\u201999. Concurrency Theory","author":"C. Baier","year":"1999","unstructured":"Baier, C., Katoen, J.-P., Hermanns, H.: Approximate Symbolic Model Checking of Continuous-Time Markov Chains. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 146\u2013162. Springer, Heidelberg (1999)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/978-3-540-40042-4_4","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Bettini","year":"2003","unstructured":"Bettini, L., Bono, V., De Nicola, R., Ferrari, G., Gorla, D., Loreti, M., Moggi, E., Pugliese, R., Tuosto, E., Venneri, B.: The Klaim Project: Theory and Practice. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 88\u2013150. Springer, Heidelberg (2003)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/978-3-540-24725-8_17","volume-title":"Programming Languages and Systems","author":"G. Boudol","year":"2004","unstructured":"Boudol, G.: ULM: a core programming model for global computing (extended abstract). In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 234\u2013248. Springer, Heidelberg (2004)"},{"key":"9_CR6","first-page":"286","volume-title":"22nd Annual ACM Symposium on Principles of Programming Languages","author":"L. Cardelli","year":"1995","unstructured":"Cardelli, L.: A Language with Distributed Scope. In: 22nd Annual ACM Symposium on Principles of Programming Languages, pp. 286\u2013297. ACM, New York (1995)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","first-page":"47","volume-title":"Internet Programming Languages","author":"G. Castagna","year":"1999","unstructured":"Castagna, G., Vitek, J.: Seal: A framework for Secure Mobile Computations. In: Bal, H.E., Cardelli, L., Belkhouche, B. (eds.) ICCL-WS 1998. LNCS, vol.\u00a01686, pp. 47\u201377. Springer, Heidelberg (1999)"},{"issue":"5","key":"9_CR8","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013329 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR9","unstructured":"De Nicola, R., Katoen, J.-P., Latella, D., Loreti, M., Massink, M.: \n                  \n                    \n                  \n                  $\\textsc{Klaim}$\n                 and its stochastic semantics. Technical report, Dipartimento di Sistemi e Informatica, Universit\u00e0 di Firenze (2006), \n                  \n                    http:\/\/rap.dsi.unifi.it\/~loreti\/papers\/TR062006.pdf"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2007.05.008","volume":"382","author":"R. Nicola De","year":"2007","unstructured":"De Nicola, R., Katoen, J.-P., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theoretical Computer Science\u00a0382(1), 42\u201370 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9_CR11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1017\/S0960129507006585","volume":"18","author":"R. Nicola De","year":"2008","unstructured":"De Nicola, R., Loreti, M.: Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science\u00a018(1), 107\u2013143 (2008)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Semantics of Systems of Concurrent Processes","author":"R. Nicola De","year":"1990","unstructured":"De Nicola, R., Vaandrager, F.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol.\u00a0469, pp. 407\u2013419. Springer, Heidelberg (1990)"},{"issue":"1","key":"9_CR13","first-page":"80","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda\u00a07(1), 80\u2013112 (1985)","journal-title":"Generative Communication in Linda"},{"issue":"25","key":"9_CR14","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"G.N.H. Younes","year":"2006","unstructured":"Younes, G.N.H., Kwiatkowska, M., Parker, D.: Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer\u00a08(3), 216\u2013228 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s100090100072","volume":"4","author":"H. Hermanns","year":"2003","unstructured":"Hermanns, H., Katoen, J.-P., Meyer-Kayser, J., Siegle, M.: A Tool for Model-Checking Markov Chains. International Journal on Software Tools for Technology Transfer\u00a04(2), 153\u2013172 (2003)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Itai, A., Rodeh, M.: Symmetry breaking in distributed networks. Information and Computation\u00a088(1) (1990)","DOI":"10.1016\/0890-5401(90)90004-2"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/QEST.2005.2","volume-title":"Second International Conference on the Quantitative Evaluation of Systems (QEST 2005)","author":"J.-P. Katoen","year":"2005","unstructured":"Katoen, J.-P., Khattri, M., Zapreev, I.: A Markov reward model checker. In: Second International Conference on the Quantitative Evaluation of Systems (QEST 2005), pp. 243\u2013244. IEEE Computer Society, Los Alamitos (2005)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1109\/QEST.2005.2","volume-title":"Quantitative Evaluation of Systems (QEST)","author":"J.-P. Katoen","year":"2005","unstructured":"Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov reward model checker. In: Quantitative Evaluation of Systems (QEST), pp. 243\u2013244. IEEE CS Press, Los Alamitos (2005)"},{"issue":"2","key":"9_CR20","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic Symbolic Model Checking using PRISM: A Hybrid Approach. International Journal on Software Tools for Technology Transfer\u00a06(2), 128\u2013142 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Quaglia, P., Schivo, S.: Approximate model checking of stochastic cows. In: Proc. of TGC 2010 (to appear 2010)","DOI":"10.1007\/978-3-642-15640-3_22"},{"key":"9_CR22","unstructured":"Sam: Stochastic analyser for mobility, \n                  \n                    http:\/\/rap.dsi.unifi.it\/SAM\/"},{"key":"9_CR23","doi-asserted-by":"publisher","DOI":"10.1002\/0470072644","volume-title":"Design and Analysis of Distributed Algorithms","author":"N. Santoro","year":"2006","unstructured":"Santoro, N.: Design and Analysis of Distributed Algorithms. Wiley, Chichester (2006)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 202\u2013215. Springer, Heidelberg (2004)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 266\u2013280. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13414-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:03:01Z","timestamp":1619784181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13414-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134135","9783642134142"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13414-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}