{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:10:13Z","timestamp":1742915413581,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662459164"},{"type":"electronic","value":"9783662459171"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45917-1_5","type":"book-chapter","created":{"date-parts":[[2014,12,22]],"date-time":"2014-12-22T14:34:17Z","timestamp":1419258857000},"page":"67-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Characterising Testing Preorders for Broadcasting Distributed Systems"],"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","published-online":{"date-parts":[[2014,12,23]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Gallina, L., Marin, A., Rossi, S., Hamadou, S.: Interference-sensitive preorders for manets. In: QEST, pp. 189\u2013198 (2012)","DOI":"10.1109\/QEST.2012.15"},{"key":"5_CR2","unstructured":"Cerone, A.: Foundations of Ad Hoc Wireless Networks. PhD thesis, Trinity College Dublin (2012). http:\/\/software.imdea.org\/~andrea.cerone\/works\/thesis.pdf"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Cerone, A., Hennessy, M.: Modelling probabilistic wireless networks. LMCS 9(3) (2013)","DOI":"10.2168\/LMCS-9(3:26)2013"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Cerone, A., Hennessy, M.: Characterising testing preorders for broadcasting distributed systems (extended version) (2014). http:\/\/software.imdea.org\/~andrea.cerone\/works\/TGC14extended.pdf","DOI":"10.1007\/978-3-662-45917-1_5"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-38493-6_2","volume-title":"Coordination Models and Languages","author":"A Cerone","year":"2013","unstructured":"Cerone, A., Hennessy, M., Merro, M.: Modelling MAC-Layer Communications in Wireless Systems. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 16\u201330. Springer, Heidelberg (2013)"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/S1571-0661(04)80406-7","volume":"66","author":"C Daws","year":"2002","unstructured":"Daws, C., Kwiatkowska, M.Z., Norman, G.: Automatic verification of the ieee-1394 root contention protocol with kronos and prism. Electr. Notes Theor. Comput. Sci. 66(2), 104\u2013119 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R De Nicola","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. TCS 34, 83\u2013133 (1984)","journal-title":"TCS"},{"key":"5_CR8","first-page":"214","volume":"11","author":"CF Ene","year":"2002","unstructured":"Ene, C.F., Muntean, T.: Testing theories for broadcasting processes. Sci. Ann. Cuza Univ. 11, 214\u2013230 (2002)","journal-title":"Sci. Ann. Cuza Univ."},{"issue":"4","key":"5_CR9","first-page":"375","volume":"105","author":"F Ghassemi","year":"2010","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Equational reasoning on mobile ad hoc networks. Fund. Inf. 105(4), 375\u2013415 (2010)","journal-title":"Fund. Inf."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Rathke, J.: Bisimulations for a calculus of broadcasting systems. TCS, 200 (1998)","DOI":"10.1016\/S0304-3975(97)00261-2"},{"issue":"19","key":"5_CR11","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. TCS 411(19), 1928\u20131948 (2010)","journal-title":"TCS"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-48234-2_3","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"F Lerda","year":"1999","unstructured":"Lerda, F., Sisto, R.: Distributed-Memory Model Checking with SPIN. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol. 1680, pp. 22\u201339. Springer, Heidelberg (1999)"},{"issue":"47","key":"5_CR13","doi-asserted-by":"publisher","first-page":"6585","DOI":"10.1016\/j.tcs.2011.07.016","volume":"412","author":"M Merro","year":"2011","unstructured":"Merro, M., Ballardin, F., Sibilio, E.: A timed calculus for wireless systems. TCS 412(47), 6585\u20136611 (2011)","journal-title":"TCS"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Milner, R.: A calculus of communicating systems. LNCS, 92 (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"5_CR15","unstructured":"Musuvathi, M., Engler, D.R.: Model checking large network protocol implementations. In: NSDI, pp. 155\u2013168 (2004)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Nanz, S., Hankin, C.: A framework for security analysis of mobile wireless networks. TCS, 367 (2006)","DOI":"10.1016\/j.tcs.2006.08.036"},{"key":"5_CR17","unstructured":"Nanz, S., Hankin, C.: Static analysis of routing protocols for ad-hoc networks (March 25, 2004)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Prasad, K.: A calculus of broadcasting systems. SCP, 25 (1995)","DOI":"10.1016\/0167-6423(95)00017-8"},{"issue":"6","key":"5_CR19","first-page":"440","volume":"75","author":"A Singh","year":"2010","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile ad hoc networks. SCP 75(6), 440\u2013469 (2010)","journal-title":"SCP"},{"key":"5_CR20","unstructured":"Tanenbaum, A.S.: Computer Networks. 4th ed. Prentice Hall PTR (2002)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Wang, M., Lu, Y.: A timed calculus for mobile ad hoc networks. arXiv preprint arXiv:1301.0045 (2013)","DOI":"10.4204\/EPTCS.105.9"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45917-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T12:23:36Z","timestamp":1675254216000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-45917-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662459164","9783662459171"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45917-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"23 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}