{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:48Z","timestamp":1725549888349},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291312"},{"type":"electronic","value":"9783540319399"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561163_6","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:54:31Z","timestamp":1127818471000},"page":"120-140","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic Linda-Based Coordination Languages"],"prefix":"10.1007","author":[{"given":"Alessandra","family":"Di Pierro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Hankin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Wiklicky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst.\u00a07, 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM\u00a035, 97\u2013107 (1992)","journal-title":"Commun. ACM"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0167-739X(94)90028-0","volume":"10","author":"F. Arbab","year":"1994","unstructured":"Arbab, F.: Manifold. Future Generation Computer Systems\u00a010, 273\u2013277 (1994)","journal-title":"Future Generation Computer Systems"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/HICSS.1998.649221","volume-title":"Proceedings of 31st Hawaii International Conference on System Sciences","author":"D. Sands","year":"1998","unstructured":"Sands, D., Weichert, M.: From gamma to cbs: Refining multiset transformations with broadcasting processes. In: El-Rewini, H. (ed.) Proceedings of 31st Hawaii International Conference on System Sciences, vol.\u00a0VII, pp. 265\u2013274. IEEE, Los Alamitos (1998)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Gorrieri, R., Lucchi, R., Zavattaro, G.: Quantitative information in the tuple space coordination model. Theoretical Computer Science (to appear)","DOI":"10.1016\/j.tcs.2005.08.004"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-540-24634-3_11","volume-title":"Proceedings of Coordination 2004","author":"A. Di Pierro","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic KLAIM. In: Nicola, R.D., Ferrari, G., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 119\u2013134. Springer, Heidelberg (2004)"},{"key":"6_CR7","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"SecCo 2004 \u2014 CONCUR Workshop on Security Issues in Coordination Models, Languages, and Systems","author":"A. Pierro Di","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Continuous-time probabilistic KLAIM. In: SecCo 2004 \u2014 CONCUR Workshop on Security Issues in Coordination Models, Languages, and Systems. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)"},{"key":"6_CR8","volume-title":"20th Annual ACM Symposium on Applied Computing","author":"R.D. Nicola","year":"2005","unstructured":"Nicola, R.D., Latella, D., Massink, M.: Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: 20th Annual ACM Symposium on Applied Computing. ACM, New York (2005)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R., Smolka, S., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Information and Computation\u00a0121, 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"6_CR10","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, 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR11","unstructured":"Hillston, J.: PEPA: Performance enhanced process algebra. Technical Report CSR-24-93, University of Edinburgh, Edinburgh, Scotland (1993)"},{"key":"6_CR12","volume-title":"Stochastic Models \u2013 An Algorithmic Approach","author":"H.C. Tijms","year":"1994","unstructured":"Tijms, H.C.: Stochastic Models \u2013 An Algorithmic Approach. John Wiley & Sons, Chichester (1994)"},{"key":"6_CR13","series-title":"Cambridge Series in Statistical and Probabilistic Mathematics","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810633","volume-title":"Markov Chains","author":"J.R. Norris","year":"1997","unstructured":"Norris, J.R.: Markov Chains. Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge (1997)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic Petri Nets \u2013 An Introduction to the Theory, 2nd edn. Vieweg Verlag (2002)","DOI":"10.1007\/978-3-322-86501-4"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation and Applications to Logic Programs. Journal of Logic Programming\u00a013, 103\u2013180 (1992)","journal-title":"Journal of Logic Programming"},{"key":"6_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"6_CR17","first-page":"127","volume-title":"Proceedings of PPDP 2000","author":"A. Pierro Di","year":"2000","unstructured":"Di Pierro, A., Wiklicky, H.: Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation. In: Proceedings of PPDP 2000, Montr\u00e9al, Canada, pp. 127\u2013138. ACM, New York (2000)"},{"key":"6_CR18","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of MFCSIT 2000 \u2013 First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology","author":"A. Pierro Di","year":"2001","unstructured":"Di Pierro, A., Wiklicky, H.: Linear structures for concurrency in probabilistic programming languages. In: Proceedings of MFCSIT 2000 \u2013 First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland. Electronic Notes in Theoretical Computer Science, vol.\u00a040. Elsevier, Amsterdam (2001)"},{"key":"6_CR19","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of MFCSIT 2004 \u2013 Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology","author":"A. Pierro Di","year":"2004","unstructured":"Di Pierro, A., Wiklicky, H.: Operator algebras and the operational semantics of probabilistic languages. In: Proceedings of MFCSIT 2004 \u2013 Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Dublin, Ireland. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004) (to appear)"},{"key":"6_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1426-7","volume-title":"Introduction to Large Truncated Toeplitz Matrices","author":"A. B\u00f6ttcher","year":"1999","unstructured":"B\u00f6ttcher, A., Silbermann, B.: Introduction to Large Truncated Toeplitz Matrices. Springer, New York (1999)"},{"key":"6_CR21","series-title":"CMS Books in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9298-9","volume-title":"Best Approximation in Inner Product Spaces","author":"F. Deutsch","year":"2001","unstructured":"Deutsch, F.: Best Approximation in Inner Product Spaces. CMS Books in Mathematics, vol.\u00a07. Springer, New York (2001)"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2005.03.002","volume":"340","author":"A. Di Pierro","year":"2005","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Measuring the confinement of probabilistic systems. Theoretical Computer Science\u00a0340, 3\u201356 (2005)","journal-title":"Theoretical Computer Science"},{"key":"6_CR23","series-title":"CMS Books in Mathematics","volume-title":"Generalised Inverses \u2014 Theory and Applications","author":"A. Ben-Israel","year":"2003","unstructured":"Ben-Israel, A., Greville, T.: Generalised Inverses \u2014 Theory and Applications, 2nd edn. CMS Books in Mathematics, vol.\u00a015. Springer, New York (2003)","edition":"2"},{"key":"6_CR24","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)"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796805005599","volume":"15","author":"A. Pierro Di","year":"2005","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Quantitative static analysis of distributed systems. Journal of Functional Programming\u00a015, 1\u201347 (2005)","journal-title":"Journal of Functional Programming"},{"key":"6_CR26","volume-title":"Linear Algebra","author":"S. Friedberg","year":"2003","unstructured":"Friedberg, S., Insel, A., Spence, L.: Linear Algebra, 4th edn. Prentice Hall, Englewood Cliffs (2003)","edition":"4"},{"key":"6_CR27","series-title":"Translation of Mathematical Monographs","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/134","volume-title":"Problems and Theorems in Linear Algebra","author":"V. Prasolov","year":"1994","unstructured":"Prasolov, V.: Problems and Theorems in Linear Algebra. Translation of Mathematical Monographs, vol.\u00a0134. American Mathematical Society, Providence (1994)"},{"key":"6_CR28","volume-title":"Differential Equations, Dynamical Systems, and Linear Algebra","author":"M. Hirsch","year":"1974","unstructured":"Hirsch, M., Smale, S.: Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, Orlando (1974)"},{"key":"6_CR29","first-page":"443","volume-title":"Proceedings of the IFIP WG 2.2\/2.3 Working Conference on Programming Concepts and Methods","author":"A. Giacalone","year":"1990","unstructured":"Giacalone, A., Jou, C.C., Smolka, S.: Algebraic reasoning for probabilistic concurrent systems. In: Proceedings of the IFIP WG 2.2\/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, April 1990, pp. 443\u2013458. North-Holland, Amsterdam (1990)"},{"key":"6_CR30","first-page":"685","volume-title":"Probabilistic Extensions of Process Algebras","author":"B. Jonsson","year":"2001","unstructured":"Jonsson, B., Yi, W., Larsen, K.: 11. In: Probabilistic Extensions of Process Algebras, pp. 685\u2013710. Elsevier Science, Amsterdam (2001), see [?]"},{"key":"6_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-44654-0_11","volume-title":"New Trends in Constraints","author":"A. Pierro Di","year":"2000","unstructured":"Di Pierro, A., Wiklicky, H.: Quantitative Observables and Averages in Probabilistic Constraint Programming. In: Apt, K., Kakas, T., Monfroy, E., Rossi, F. (eds.) Compulog Net WS 1999. LNCS (LNAI), vol.\u00a01865, p. 212. Springer, Heidelberg (2000)"},{"key":"6_CR32","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. Computer Journal\u00a038, 578\u2013589 (1995)","journal-title":"Computer Journal"},{"key":"6_CR33","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. Cambridge University Press, Cambridge (1996)"},{"key":"6_CR34","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on empa: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Technical Report UBLCS-96-17, Department of Computer Science, University of Bologna (1997)"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/3-540-46002-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. In: Katoen, J.P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 52\u201366. Springer, Heidelberg (2002)"},{"key":"6_CR36","unstructured":"de Alfaro, L.: Formal Verification of Probabilistic Systems. PhD thesis, Stanford University, Department of Computer Science (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11561163_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T19:14:30Z","timestamp":1586459670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561163_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291312","9783540319399"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11561163_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}