{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:49:53Z","timestamp":1725529793928},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642009440"},{"type":"electronic","value":"9783642009457"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00945-7_4","type":"book-chapter","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T04:57:53Z","timestamp":1238821073000},"page":"52-68","source":"Crossref","is-referenced-by-count":4,"title":["Combining Timed Coordination Primitives and Probabilistic Tuple Spaces"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0304-3975(01)00090-1","volume":"290","author":"M. Bernardo","year":"2003","unstructured":"Bernardo, M., Bravetti, M.: Performance Measure Sensitive Congruences for Markovian Process Algebras. Theoretical Computer Science\u00a0290(1), 117\u2013160 (2003)","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.tcs.2005.08.004","volume":"346","author":"M. Bravetti","year":"2005","unstructured":"Bravetti, M., Gorrieri, R., Lucchi, R., Zavattaro, G.: Quantitative Information in the Tuple Space Coordination Model. Theoret. Comput. Sci.\u00a0346(1), 28\u201357 (2005)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2006.05.002","volume":"70","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Service Oriented Computing from a Process Algebraic Perspective. Journal of Logic and Algebraic Programming\u00a070(1), 3\u201314 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"5","key":"4_CR5","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":"4_CR6","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"},{"key":"4_CR7","unstructured":"De Nicola, R., Katoen, J.-P., Latella, D., Loreti, M., Massink, M.: \n                  \n                    \n                  \n                  $\\textsc{MoSL}$\n                : A Stochastic Logic for \n                  \n                    \n                  \n                  $\\textsc{StoKlaim}$\n                . Tr, ISTI (2006), \n                  \n                    http:\/\/www1.isti.cnr.it\/~Latella\/MoSL.pdf"},{"issue":"1","key":"4_CR8","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"},{"key":"4_CR9","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"161","volume-title":"Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)","author":"R. Nicola De","year":"2006","unstructured":"De Nicola, R., Katoen, J.-P., Latella, D., Massink, M.: Towards a logic for performance and mobility. In: Cerone, A., Wiklicky, H. (eds.) Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005). Electronic Notes in Theoretical Computer Science, vol.\u00a0153, pp. 161\u2013175. Elsevier, Amsterdam (2006)"},{"key":"4_CR10","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: MarCaSPiS: a markovian extension of a calculus for services. In: Proc. of SOS 2008 (to appear, 2008)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Latella, D., Massink, M.: Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Haddad, H., Liebrock, L., Omicini, A., Wainwright, R., Palakal, M., Wilds, M., Clausen, H. (eds.) APPLIED COMPUTING 2005. Proceedings of the 20th Annual ACM Symposium on Applied Computing, pp. 428\u2013435. Association for Computing Machinery (2005) ISBN 1-58113-964-0","DOI":"10.1145\/1066677.1066777"},{"issue":"1","key":"4_CR12","first-page":"80","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. Communications of the ACM\u00a07(1), 80\u2013112 (1985)","journal-title":"Communications of the ACM"},{"key":"4_CR13","volume-title":"Working Conference on Programming Concepts and Methods,","author":"A. Giacalone","year":"1990","unstructured":"Giacalone, A., Jou, C., Smolka, S.: Algebraic reasoning for probabilistic concurrent systems. In: Broy, M., Jones, C. (eds.) Working Conference on Programming Concepts and Methods, IFIP TC 2. North Holland, Amsterdam (1990)"},{"issue":"1-2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoret. Comput. Sci.\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/3-540-40911-4_24","volume-title":"Integrated Formal Methods","author":"H. Hermanns","year":"2000","unstructured":"Hermanns, H., Katoen, J.-P., Meyer-Kayser, J., Siegle, M.: Towards model checking stochastic process algebra. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 420\u2013439. Springer, Heidelberg (2000)"},{"key":"4_CR16","series-title":"Distinguished Dissertation in Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A compositional approach to performance modelling. Distinguished Dissertation in Computer Science. Cambridge University Press, Cambridge (1996)"},{"key":"4_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":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-74974-5_20","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"D. Prandi","year":"2007","unstructured":"Prandi, D., Quaglia, P.: Stochastic COWS. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 245\u2013256. Springer, Heidelberg (2007)"},{"issue":"7","key":"4_CR20","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-Calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"4_CR21","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"E. Stark","year":"2000","unstructured":"Stark, E., Smolka, S.: A complete axiom system for finite-state probabilistic processes. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00945-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T09:33:43Z","timestamp":1551951223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00945-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642009440","9783642009457"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00945-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}