{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T01:18:25Z","timestamp":1794446305415,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642384929","type":"print"},{"value":"9783642384936","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38493-6_11","type":"book-chapter","created":{"date-parts":[[2013,5,9]],"date-time":"2013-05-09T20:45:06Z","timestamp":1368132306000},"page":"151-165","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Modular Embedding for Stochastic Coordinated Systems"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Mariani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"5","key":"11_CR1","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P. Wegner","year":"1997","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Communications of the ACM\u00a040(5), 80\u201391 (1997)","journal-title":"Communications of the ACM"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1145\/330560.330665","volume-title":"1998 ACM Symposium on Applied Computing (SAC 1998)","author":"E. Denti","year":"1998","unstructured":"Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: 1998 ACM Symposium on Applied Computing (SAC 1998), February 27-March 1, pp. 169\u2013177. ACM, Atlanta (1998); Special Track on Coordination Models, Languages and Applications"},{"issue":"1-2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1006\/inco.1999.2823","volume":"156","author":"N. Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the expressiveness of Linda coordination primitives. Information and Computation\u00a0156(1-2), 90\u2013121 (2000)","journal-title":"Information and Computation"},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1145\/641205.641235","volume":"46","author":"P. Wegner","year":"2003","unstructured":"Wegner, P., Goldin, D.: Computation beyond Turing machines. Communications of the ACM\u00a046(4), 100\u2013102 (2003)","journal-title":"Communications of the ACM"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"F.S. Boer de","year":"1994","unstructured":"de Boer, F.S., Palamidessi, C.: Embedding as a tool for language comparison. Information and Computation\u00a0108(1), 128\u2013157 (1994)","journal-title":"Information and Computation"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Separating concurrent languages with categories of language embeddings. In: 23rd Annual ACM Symposium on Theory of Computing (1991)","DOI":"10.1145\/103418.103423"},{"issue":"1","key":"11_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/S026988891000041X","volume":"26","author":"A. Omicini","year":"2011","unstructured":"Omicini, A., Viroli, M.: Coordination models and languages: From parallel computing to self-organisation. The Knowledge Engineering Review\u00a026(1), 53\u201359 (2011); Special Issue 01 (25th Anniversary Issue)","journal-title":"The Knowledge Engineering Review"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Omicini, A.: Nature-inspired coordination models: Current status, future trends. ISRN Software Engineering 2013, Article ID 384903, Review Article (2013)","DOI":"10.1155\/2013\/384903"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Mariani, S., Omicini, A.: Probabilistic embedding: Experiments with tuple-based probabilistic languages. In: 28th ACM Symposium on Applied Computing (SAC 2013), Coimbra, Portugal, March 18-22, pp. 1380\u20131382 (2013) (Poster Paper)","DOI":"10.1145\/2480362.2480621"},{"issue":"1","key":"11_CR10","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. Theoretical Computer Science\u00a0346(1), 28\u201357 (2005)","journal-title":"Theoretical Computer Science"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: Expressing priorities and external probabilities in process algebra via mixed open\/closed systems. Electronic Notes in Theoretical Computer Science 194(2), 31\u201357 (2008)","DOI":"10.1016\/j.entcs.2007.11.003"},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Smolka, S.A., Steffen, B.: Reactive, generative, and stratified models of probabilistic processes. Information and Computation\u00a0121(1), 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"11_CR13","unstructured":"Drake, A.W.: Fundamentals of Applied Probability Theory. McGraw-Hill College (1967)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-24634-3_11","volume-title":"Coordination Models and Languages","author":"A. Pierro Di","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic KLAIM. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 119\u2013134. Springer, Heidelberg (2004)"},{"issue":"5","key":"11_CR15","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 agent interaction and mobility. IEEE Transaction on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Herescu, O.M., Palamidessi, C.: Probabilistic asynchronous pi-calculus. CoRR cs.PL\/0109002 (2001)","DOI":"10.1007\/3-540-46432-8_10"},{"key":"11_CR17","unstructured":"Boudol, G.: Asynchrony and the Pi-calculus. Rapport de recherche RR-1702, INRIA (1992)"},{"key":"11_CR18","unstructured":"Bengt, J., Larsen, K.G., Yi, W.: Probabilistic extensions of process algebras. In Bergstra, J.A., Ponse, A., Smolka, S.A., eds.: Handbook of Process Algebra. Elsevier Science B.V., pp. 685\u2013710 (2001)"},{"issue":"3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S1571-0661(04)00289-0","volume":"59","author":"A. Brogi","year":"2002","unstructured":"Brogi, A., Di Pierro, A., Wiklicky, H.: Linear embedding for a quantitative comparison of language expressiveness. Electronic Notes in Theoretical Computer Science\u00a059(3), 207\u2013237 (2002); Quantitative Aspects of Programming Languages (QAPL 2001 @ PLI 2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-45187-7_33","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A. Pierro Di","year":"2003","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Quantitative relations and approximate process equivalences. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 508\u2013522. Springer, Heidelberg (2003)"}],"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-38493-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T12:40:20Z","timestamp":1688215220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38493-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642384929","9783642384936"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}