{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:07:52Z","timestamp":1725538072400},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642034084"},{"type":"electronic","value":"9783642034091"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-03409-1_6","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T10:05:18Z","timestamp":1252922718000},"page":"50-61","source":"Crossref","is-referenced-by-count":1,"title":["Depletable Channels: Dynamics and Behaviour"],"prefix":"10.1007","author":[{"given":"Pietro","family":"Cenciarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivano","family":"Salvo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/B978-044482830-9\/50021-7","volume-title":"Handobook of Process Algebra","author":"L. Aceto","year":"2001","unstructured":"Aceto, L., Fokkink, W., Verhoef, C.: Structural operational semantics. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handobook of Process Algebra, pp. 197\u2013292. North-Holland, Amsterdam (2001)"},{"key":"6_CR2","volume-title":"Network Flows, theory, algorithms, and applications","author":"R. Ahuja","year":"1993","unstructured":"Ahuja, R., Magnanti, T., Orlin, J.: Network Flows, theory, algorithms, and applications. Prentice-Hall, New Jersey (1993)"},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/j.adhoc.2003.09.010","volume":"3","author":"K. Akkaya","year":"2005","unstructured":"Akkaya, K., Younis, M.F.: A survey on routing protocols for wireless sensor networks. Ad Hoc Networks\u00a03(3), 325\u2013349 (2005)","journal-title":"Ad Hoc Networks"},{"issue":"8","key":"6_CR4","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1109\/MCOM.2002.1024422","volume":"40","author":"I. Akyildiz","year":"2002","unstructured":"Akyildiz, I., Su, W., Sankarasubramaniam, Y., Cayirci, E.: A survey on sensor networks. IEEE Communications Magazine\u00a040(8), 102\u2013116 (2002)","journal-title":"IEEE Communications Magazine"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-31794-4_13","volume-title":"Global Computing","author":"J. Borgstr\u00f6m","year":"2005","unstructured":"Borgstr\u00f6m, J., Nestmann, U., Alima, L.O., Gurov, D.: Verifying a structured peer-to-peer overlay network: The static case. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 250\u2013265. Springer, Heidelberg (2005)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Boukerche, A. (ed.): Algorithms and Protocols for Wireless Sensor Networks. Wiley-IEEE press (2008)","DOI":"10.1002\/9780470396360"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-87405-8_10","volume-title":"Graph Transformations","author":"P. Cenciarelli","year":"2008","unstructured":"Cenciarelli, P., Gorla, D., Tuosto, E.: Network applications of graph bisimulation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 131\u2013146. Springer, Heidelberg (2008)"},{"key":"6_CR8","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"1990","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge (1990)"},{"key":"6_CR9","first-page":"263","volume-title":"2nd International Symposium on Leveraging of Formal Maethods, Verification and Validation (IEEE-ISOLA)","author":"A. Fehnker","year":"2006","unstructured":"Fehnker, A., McIver, A.: Formal techniques for the analysis of wireless networks. In: 2nd International Symposium on Leveraging of Formal Maethods, Verification and Validation (IEEE-ISOLA), pp. 263\u2013270. IEEE Press, New York (2006)"},{"key":"6_CR10","first-page":"1120","volume-title":"INFOCOM 2004. Twenty-third Annual Joint Conference of the IEEE Computer and Communications Societies","author":"Y. Ganjali","year":"2004","unstructured":"Ganjali, Y., Keshavarzian, A.: Load balancing in ad hoc networks: single-path routing vs. multi-path routing. In: INFOCOM 2004. Twenty-third Annual Joint Conference of the IEEE Computer and Communications Societies, vol.\u00a02, pp. 1120\u20131125. IEEE press, New York (2004)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72794-1_8","volume-title":"Coordination Models and Languages","author":"J.C. Godskesen","year":"2007","unstructured":"Godskesen, J.C.: A calculus for mobile ad hoc networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 132\u2013150. Springer, Heidelberg (2007)"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. Kanellakis","year":"1990","unstructured":"Kanellakis, P., Smolka, S.: CCS Expressions, Finite State Processes and Three Problems of Equivalence. Information and Conputation\u00a086(1), 43\u201368 (1990)","journal-title":"Information and Conputation"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Merro, M.: An observational theory for mobile ad hoc networks. In: Proc. of MFPS, ENTCS, vol.\u00a0173, pp. 275\u2013293 (2007)","DOI":"10.1016\/j.entcs.2007.02.039"},{"key":"6_CR14","unstructured":"Merro, M., Sibilio, E.: A timed calculus for wireless networks. In: Proc. of FSEN (to appear, 2009)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. In: Proc. of MFPS, ENTCS, vol.\u00a0158, pp.\u00a0331\u2013353 (2006)","DOI":"10.1016\/j.entcs.2006.04.017"},{"key":"6_CR16","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, New Jersey (1989)"},{"issue":"1-2","key":"6_CR17","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":"6_CR18","doi-asserted-by":"crossref","unstructured":"Nehra, N., Patel, R.B., Bhat, V.K.: Routing with load balancing in ad hoc network: A mobile agent approach. In: 6th IEEE\/ACIS International Conference on Computer and Information Science, pp. 489\u2013495 (2007)","DOI":"10.1109\/ICIS.2007.161"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"key":"6_CR20","first-page":"776","volume-title":"Proc. of STOC","author":"C.A. Phillips","year":"1993","unstructured":"Phillips, C.A.: The network inhibition problem. In: Proc. of STOC, pp. 776\u2013785. ACM Press, New York (1993)"},{"issue":"5","key":"6_CR21","doi-asserted-by":"publisher","first-page":"922","DOI":"10.1016\/j.jcss.2005.05.009","volume":"72","author":"T. Roughgarden","year":"2006","unstructured":"Roughgarden, T.: On the severity of braess\u2019s paradox: Designing networks for selfish users is hard. Journal of Computer and System Science\u00a072(5), 922\u2013953 (2006)","journal-title":"Journal of Computer and System Science"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-68265-3_19","volume-title":"Coordination Models and Languages","author":"A. Singh","year":"2008","unstructured":"Singh, A., Ramakrishnan, C., Smolka, S.A.: A process calculus for mobile ad hoc networks. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 296\u2013314. Springer, Heidelberg (2008)"},{"key":"6_CR23","first-page":"1","volume-title":"Proc. of 5th Symp. on Theory of Computing (STOC)","author":"L. Stockmeyer","year":"1973","unstructured":"Stockmeyer, L., Meyer, A.: Word Problems Requiring Exponential Time. In: Proc. of 5th Symp. on Theory of Computing (STOC), pp. 1\u20139. ACM Press, New York (1973)"},{"key":"6_CR24","volume-title":"Ad Hoc Mobile Wireless Networks: Protocols and Systems","author":"C. Toh","year":"2002","unstructured":"Toh, C.: Ad Hoc Mobile Wireless Networks: Protocols and Systems. Prentice Hall, New Jersey (2002)"},{"key":"6_CR25","doi-asserted-by":"publisher","DOI":"10.1002\/0470091126","volume-title":"Ad Hoc Wireless Networks: A Communication-Theoretic Perspective","author":"O.K. Tonguz","year":"2006","unstructured":"Tonguz, O.K., Ferrari, G.: Ad Hoc Wireless Networks: A Communication-Theoretic Perspective. John Wiley & Sons, Chichester (2006)"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03409-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T13:58:00Z","timestamp":1552139880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03409-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034084","9783642034091"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03409-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}