{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:13Z","timestamp":1725574393895},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_7","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T22:57:55Z","timestamp":1294354675000},"page":"55-70","source":"Crossref","is-referenced-by-count":4,"title":["Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Lucchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. PhD thesis, Dottorato di Ricerca in Informatica. Universit\u00e0 di Bologna, Padova, Venezia, Available at (February 2002), http:\/\/www.cs.unibo.it\/~bravetti\/","DOI":"10.1007\/3-540-45605-8_14"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Bernardo, M.: Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. In: Proc. of the 1st Int. Workshop on Models for Time-Critical Systems, MTCS 2000, State College (PA). Electronic Notes in Theoretical Computer Science, vol.\u00a039(3). Elsevier, Amsterdam (2000)","DOI":"10.1016\/S1571-0661(05)80749-2"},{"key":"7_CR3","volume-title":"Proc. of ACM Symposium on Applied Computing (SAC 2004)","author":"M. Bravetti","year":"2004","unstructured":"Bravetti, M., Gorrieri, R., Lucchi, R., Zavattaro, G.: Web Services for E-commerce: guaranteeing security access and quality of service. In: Proc. of ACM Symposium on Applied Computing (SAC 2004), ACM Press, New York (2004)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Busi, N., Gorrieri, R., Lucchi, R., Zavattaro, G.: Secspaces: a data-driven coordination model for environments open to untrusted agents. In: 1st International Workshop on Foundations of Coordination Languages and Software Architectures. ENTCS, vol.\u00a068.3 (2002)","DOI":"10.1016\/S1571-0661(05)80375-5"},{"key":"7_CR5","unstructured":"Scientific Computing Associates. Linda: User\u2019s guide and reference manual. Scientific Computing Associates (1995)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Minsky, N., Minsky, Y., Ungureanu, V.: Safe Tuplespace-Based Coordination in Multi Agent Systems. Journal of Applied Artificial Intelligence\u00a015(1) (2001)","DOI":"10.1080\/08839510150204590"},{"key":"#cr-split#-7_CR7.1","doi-asserted-by":"crossref","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\u2013330 (1998);","DOI":"10.1109\/32.685256"},{"key":"#cr-split#-7_CR7.2","unstructured":"Special Issue: Mobility and Network Aware Computing"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic Klaim. In: Proc. of 7th International Conference on Coordination Models and Languages (Coordination 2004). LNCS. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24634-3_11"},{"issue":"2-3","key":"7_CR9","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/S0167-6423(97)00026-9","volume":"31","author":"A. Rowstron","year":"1998","unstructured":"Rowstron, A., Wood, A.: Solving the Linda multiple rd problem using the copy-collect primitive. Science of Computer Programming\u00a031(2-3), 335\u2013358 (1998)","journal-title":"Science of Computer Programming"},{"key":"7_CR10","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (1995)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/BF01211867","volume":"6","author":"C.M.N. Tofts","year":"1994","unstructured":"Tofts, C.M.N.: Processes with probabilities, priority and time. Formal Aspects of Computing\u00a06, 534\u2013564 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"7_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, 59\u201380 (1995)","journal-title":"Information and Computation"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0167-6423(02)00090-4","volume":"46","author":"J. Vitek","year":"2003","unstructured":"Vitek, J., Bryce, C., Oriol, M.: Coordinating Processes with Secure Spaces. Science of Computer Programming\u00a046, 163\u2013193 (2003)","journal-title":"Science of Computer Programming"}],"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-540-24634-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:05:15Z","timestamp":1559912715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}