{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T04:11:45Z","timestamp":1743394305824,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307928"},{"type":"electronic","value":"9783642307935"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30793-5_9","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T11:34:33Z","timestamp":1339155273000},"page":"135-151","source":"Crossref","is-referenced-by-count":2,"title":["Modelling Probabilistic Wireless Networks"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Cerone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Hennessy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Cerone, A., Hennessy, M.: A simple probabilistic broadcast language. Technical Report, Trinity College Dublin, CS-TR-2012-02 (2012), http:\/\/www.scss.tcd.ie\/~ceronea\/works\/simpleProbabilisticNetworks.pdf"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Curran, E., Dowling, J.: Sample: Statistical network link modelling in an on-demand probabilistic routing protocol for ad hoc networks. In: WONS, pp. 200\u2013205. IEEE Computer Society (2005)","DOI":"10.1109\/WONS.2005.30"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-04081-8_19","volume-title":"CONCUR 2009 - Concurrency Theory","author":"Y. Deng","year":"2009","unstructured":"Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C.: Testing Finitary Probabilistic Processes. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 274\u2013288. Springer, Heidelberg (2009), http:\/\/www.scss.tcd.ie\/Matthew.Hennessy\/onlinepubs.html"},{"key":"9_CR4","first-page":"214","volume":"11","author":"C. Ene","year":"2002","unstructured":"Ene, C., Muntean, T.: Testing theories for broadcasting processes. Sci. Ann. Cuza Univ.\u00a011, 214\u2013230 (2002)","journal-title":"Sci. Ann. Cuza Univ."},{"issue":"28","key":"9_CR5","doi-asserted-by":"publisher","first-page":"3262","DOI":"10.1016\/j.tcs.2011.03.017","volume":"412","author":"F. Ghassemi","year":"2011","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci.\u00a0412(28), 3262\u20133282 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-13414-2_1","volume-title":"Coordination Models and Languages","author":"J.C.. Godskesen","year":"2010","unstructured":"Godskesen, J.C.: Observables for Mobile and Wireless Broadcasting Systems. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol.\u00a06116, pp. 1\u201315. Springer, Heidelberg (2010)"},{"issue":"1-4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/COMST.2004.5342231","volume":"6","author":"R. Jurdak","year":"2004","unstructured":"Jurdak, R., Lopes, C.V., Baldi, P.: A survey, classification and comparative analysis of medium access control protocols for ad hoc networks. IEEE Communications Surveys and Tutorials\u00a06(1-4), 2\u201316 (2004)","journal-title":"IEEE Communications Surveys and Tutorials"},{"issue":"19","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1928","DOI":"10.1016\/j.tcs.2010.01.023","volume":"411","author":"I. Lanese","year":"2010","unstructured":"Lanese, I., Sangiorgi, D.: An operational semantics for a calculus for wireless systems. Theor. Comput. Sci.\u00a0411(19), 1928\u20131948 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-23217-6_11","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"R. Lanotte","year":"2011","unstructured":"Lanotte, R., Merro, M.: Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011 \u2013 Concurrency Theory. LNCS, vol.\u00a06901, pp. 156\u2013170. Springer, Heidelberg (2011)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11623-0_13","volume-title":"Fundamentals of Software Engineering","author":"M. Merro","year":"2010","unstructured":"Merro, M., Sibilio, E.: A Timed Calculus for Wireless Systems. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.entcs.2006.04.017","volume":"158","author":"N. Mezzetti","year":"2006","unstructured":"Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. Electr. Notes Theor. Comput. Sci.\u00a0158, 331\u2013353 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR12","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"9_CR13","unstructured":"Nanz, S., Hankin, C.: Static analysis of routing protocols for ad-hoc networks, March\u00a025 (2004)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Nanz, S., Hankin, C.: A framework for security analysis of mobile wireless networks. TCS: Theoretical Computer Science\u00a0367 (2006)","DOI":"10.1016\/j.tcs.2006.08.036"},{"issue":"2-3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0167-6423(95)00017-8","volume":"25","author":"K.V.S. Prasad","year":"1995","unstructured":"Prasad, K.V.S.: A calculus of broadcasting systems. Science of Computer Programming\u00a025(2-3), 285\u2013327 (1995)","journal-title":"Science of Computer Programming"},{"key":"9_CR16","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. Nordic J. of Computing\u00a02, 250\u2013273 (1995)","journal-title":"Nordic J. of Computing"},{"key":"9_CR17","unstructured":"Tanenbaum, A.S.: Computer networks. PTR Prentice-Hall"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30793-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T06:29:35Z","timestamp":1743316175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30793-5_9"}},"subtitle":["(Extended Abstract)"],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307928","9783642307935"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30793-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}