{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:32Z","timestamp":1725491612440},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744061"},{"type":"electronic","value":"9783540744078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74407-8_16","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T14:30:48Z","timestamp":1187447448000},"page":"226-240","source":"Crossref","is-referenced-by-count":4,"title":["Topology-Dependent Abstractions of Broadcast\u00a0Networks"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Nanz","sequence":"first","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Bettini","year":"2003","unstructured":"Bettini, L., et al.: The Klaim project: theory and practice. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, Springer, Heidelberg (2003)"},{"issue":"4","key":"16_CR2","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1145\/581771.581775","volume":"49","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal verification of standards for distance vector routing protocols. Journal of the ACM\u00a049(4), 538\u2013576 (2002)","journal-title":"Journal of the ACM"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume-title":"Computer Aided Verification","author":"G. Bruns","year":"1999","unstructured":"Bruns, G., Godefroid, P.: Model checking partial state spaces with 3-valued temporal logics. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 274\u2013287. Springer, Heidelberg (1999)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","volume-title":"Principles of Programming Languages (POPL 1979)","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Principles of Programming Languages (POPL 1979), pp. 269\u2013282. ACM Press, New York (1979)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: Formal Methods for Parallel Programming: Theory and Applications (FMPPTA 2003) (2001)","DOI":"10.1109\/IPDPS.2001.925136"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/ARES.2006.115","volume-title":"Availability, Reliability and Security (ARES 2006)","author":"R.R. Hansen","year":"2006","unstructured":"Hansen, R.R., Probst, C.W., Nielson, F.: Sandboxing in myKlaim. In: Availability, Reliability and Security (ARES 2006), pp. 174\u2013181. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"16_CR7","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Biblioteca Mathematica, vol.\u00a01. North-Holland, Amsterdam (1952)"},{"key":"16_CR8","first-page":"203","volume-title":"Logic in Computer Science (LICS 1988)","author":"K.G. Larsen","year":"1988","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: Logic in Computer Science (LICS 1988), pp. 203\u2013210. IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Merro, M.: An observational theory for mobile ad hoc networks. In: Mathematical Foundations of Programming Semantics (MFPS 2007). Electronic Notes in Theoretical Computer Science, vol.\u00a0173, pp. 275\u2013293 (2007)","DOI":"10.1016\/j.entcs.2007.02.039"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Nanz, S.: Specification and Security Analysis of Mobile Ad-Hoc Networks. PhD thesis, Imperial College London (2006)","DOI":"10.1016\/j.entcs.2004.10.029"},{"issue":"1-2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.tcs.2006.08.036","volume":"367","author":"S. Nanz","year":"2006","unstructured":"Nanz, S., Hankin, C.: A framework for security analysis of mobile wireless networks. Theoretical Computer Science\u00a0367(1-2), 203\u2013227 (2006)","journal-title":"Theoretical Computer Science"},{"key":"16_CR12","unstructured":"Nanz, S., Nielson, F., Nielson, H.R.: Topology-dependent abstractions of broadcast networks. Technical report IMM-TR-2007-11, Technical University of Denmark (2007)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","volume-title":"Semantics of Systems of Concurrent Processes","author":"R.D. Nicola","year":"1990","unstructured":"Nicola, R.D., Vaandrager, F.W.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) Semantics of Systems of Concurrent Processes. LNCS, vol.\u00a0469, pp. 407\u2013419. Springer, Heidelberg (1990)"},{"key":"16_CR14","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":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-46425-5_20","volume-title":"Programming Languages and Systems","author":"F. Nielson","year":"2000","unstructured":"Nielson, F., Nielson, H.R., Sagiv, M.: A Kleene analysis of mobile ambients. In: Smolka, G. (ed.) ESOP 2000 and ETAPS 2000. LNCS, vol.\u00a01782, pp. 305\u2013319. Springer, Heidelberg (2000)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0020-0190(01)00155-7","volume":"80","author":"F. Nielson","year":"2001","unstructured":"Nielson, F., Nielson, H.R., Sagiv, M.: Kleene\u2019s logic with equality. Information Processing Letters\u00a080, 131\u2013137 (2001)","journal-title":"Information Processing Letters"},{"key":"16_CR17","unstructured":"Nielson, H.R., Nielson, F.: A monotone framework for CCS. (submitted for publication, 2006)"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-74061-2","volume-title":"Program Analysis and Compilation. Theory and Practice","author":"H.R. Nielson","year":"2007","unstructured":"Nielson, H.R., Nielson, F.: Data flow analysis for CCS. In: Program Analysis and Compilation. Theory and Practice. LNCS, vol.\u00a04444, Springer, Heidelberg (2007)"},{"issue":"2-3","key":"16_CR19","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":"16_CR20","first-page":"105","volume-title":"Principles of Programming Languages (POPL 1999)","author":"M. Sagiv","year":"1999","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. In: Principles of Programming Languages (POPL 1999), pp. 105\u2013118. ACM Press, New York (1999)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2007 \u2013 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74407-8_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T20:57:45Z","timestamp":1684011465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74407-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540744061","9783540744078"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74407-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}