{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:28:31Z","timestamp":1772836111733,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642247484","type":"print"},{"value":"9783642247491","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24749-1_7","type":"book-chapter","created":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T04:13:42Z","timestamp":1327637622000},"page":"72-86","source":"Crossref","is-referenced-by-count":7,"title":["Stochastic Restricted Broadcast Process Theory"],"prefix":"10.1007","author":[{"given":"Fatemeh","family":"Ghassemi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmoud","family":"Talebi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Movaghar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wan","family":"Fokkink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1007\/3-540-45022-X_65","volume-title":"Automata, Languages and Programming","author":"C. Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.: On the logical characterisation of performability properties. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 780\u2013792. Springer, Heidelberg (2000)"},{"issue":"1-2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science\u00a0202(1-2), 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/3-540-45657-0_50","volume-title":"Computer Aided Verification","author":"S. Blom","year":"2002","unstructured":"Blom, S., van de Pol, J.: State space reduction by proving confluence. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 596\u2013609. Springer, Heidelberg (2002)"},{"issue":"2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s10009-003-0118-5","volume":"5","author":"C. Daws","year":"2004","unstructured":"Daws, C., Kwiatkowska, M., Norman, G.: Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Software Tools for Technology Transfer\u00a05(2), 221\u2013236 (2004)","journal-title":"Software Tools for Technology Transfer"},{"key":"7_CR5","unstructured":"Duflot, M., Kwiatkowska, M., Norman, G., Parker, D.: A formal analysis of Bluetooth device discovery. In: Proc. ISOLA 2004, pp. 268\u2013275 (2004)"},{"key":"7_CR6","volume-title":"Specification of Abstract Data Types","author":"H. Ehrich","year":"1996","unstructured":"Ehrich, H., Loeckx, J., Wolf, M.: Specification of Abstract Data Types. John Wiley, Chichester (1996)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-48321-7_21","volume-title":"Fundamentals of Computation Theory","author":"C. Ene","year":"1999","unstructured":"Ene, C., Muntean, T.: Expressiveness of point-to-point versus broadcast communications. In: Ciobanu, G., P\u0103un, G. (eds.) FCT 1999. LNCS, vol.\u00a01684, pp. 258\u2013268. Springer, Heidelberg (1999)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00867-2_1","volume-title":"Methods, Models and Tools for Fault Tolerance","author":"A. Fehnker","year":"2009","unstructured":"Fehnker, A., Fruth, M., McIver, A.K.: Graphical modelling for simulation and formal analysis of wireless network protocols. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Methods, Models and Tools for Fault Tolerance. LNCS, vol.\u00a05454, pp. 1\u201324. Springer, Heidelberg (2009)"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2010-316","volume":"103","author":"F. Ghassemi","year":"2010","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Equational reasoning on mobile ad hoc networks. Fundamenta Informaticae\u00a0103, 1\u201341 (2010)","journal-title":"Fundamenta Informaticae"},{"issue":"28","key":"7_CR10","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. Theoretical Computer Science\u00a0412(28), 3262\u20133282 (2011)","journal-title":"Theoretical Computer Science"},{"key":"7_CR11","first-page":"345","volume-title":"Proc. SEFM 2008","author":"F. Ghassemi","year":"2008","unstructured":"Ghassemi, F., Fokkink, W.J., Movaghar, A.: Restricted broadcast process theory. In: Proc. SEFM 2008, pp. 345\u2013354. IEEE, Los Alamitos (2008)"},{"key":"7_CR12","first-page":"98","volume-title":"Proc. ACSD 2010","author":"F. Ghassemi","year":"2010","unstructured":"Ghassemi, F., Fokkink, W.J., Movaghar, A.: Towards performance evaluation of mobile ad hoc network protocols. In: Proc. ACSD 2010, pp. 98\u2013105. IEEE, Los Alamitos (2010)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Ghassemi, F., Talebi, M.: Fokkink, W., Movaghar, A.: Stochastic restricted broadcast process theory. Tech. rep., Sharif University of Technology (2011), http:\/\/mehr.sharif.edu\/fghassemi\/srbpt-web.pdf","DOI":"10.1007\/978-3-642-24749-1_7"},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R., Weijland, W.: Branching time and abstraction in bisimulation semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of the ACM"},{"key":"7_CR15","series-title":"Workshops in Computing","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-1-4471-2120-6_2","volume-title":"Proc. ACP 1994","author":"J.F. Groote","year":"1995","unstructured":"Groote, J.F., Ponse, A.: Syntax and semantics of \u03bc-CRL. In: Proc. ACP 1994. Workshops in Computing, pp. 26\u201362. Springer, Heidelberg (1995)"},{"issue":"1-2","key":"7_CR16","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.P.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"7","key":"7_CR17","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1093\/comjnl\/38.7.530","volume":"38","author":"H. Hermanns","year":"1995","unstructured":"Hermanns, H., Rettelbach, M., Weiss, T.: Formal characterisation of immediate actions in spa with nondeterministic branching. The Computer Journal\u00a038(7), 530\u2013541 (1995)","journal-title":"The Computer Journal"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Ph.D. thesis, Cambridge University (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"7_CR19","first-page":"13","volume-title":"Proc. DIALM-PODC","author":"M. Khabbazian","year":"2010","unstructured":"Khabbazian, M., Kuhn, F., Kowalski, D.R., Lynch, N.A.: Decomposing broadcast algorithms using abstract mac layers. In: Proc. DIALM-PODC, pp. 13\u201322. ACM, New York (2010)"},{"key":"7_CR20","first-page":"1","volume-title":"Proc. PE-WASUN","author":"L. Kloul","year":"2005","unstructured":"Kloul, L., Valois, F.: Investigating unfairness scenarios in manet using 802.11b. In: Proc. PE-WASUN, pp. 1\u20138. ACM, New York (2005)"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10703-006-0005-2","volume":"29","author":"M. Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods in System Design\u00a029, 33\u201378 (2006)","journal-title":"Formal Methods in System Design"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45605-8_11","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Sproston, J.: Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, pp. 169\u2013187. Springer, Heidelberg (2002)"},{"key":"7_CR23","unstructured":"Lin, T.: Mobile Ad-hoc Network Routing Protocols: Methodologies and Applications. Ph.D. thesis, Virginia Polytechnic Institute and State University (2004)"},{"key":"7_CR24","first-page":"463","volume-title":"Proc. WCNC 2007","author":"R. Oliveira","year":"2007","unstructured":"Oliveira, R., Bernardo, L., Pinto, P.: Modelling delay on IEEE 802.11 MAC protocol for unicast and broadcast nonsaturated traffic. In: Proc. WCNC 2007, pp. 463\u2013467. IEEE, Los Alamitos (2007)"},{"key":"7_CR25","first-page":"82","volume-title":"Proc. PE-WASUN 2006","author":"T. Razafindralambo","year":"2006","unstructured":"Razafindralambo, T., Valois, F.: Performance evaluation of backoff algorithms in 802.11 ad-hoc networks. In: Proc. PE-WASUN 2006, pp. 82\u201389. ACM, New York (2006)"},{"key":"7_CR26","unstructured":"Timmer, M.: Scoop: A tool for symbolic optimisations of probabilistic processes. In: QEST 2011 (to appear, 2011)"},{"key":"7_CR27","first-page":"350","volume-title":"Proc. ICNP 2004","author":"S. Vasudevan","year":"2004","unstructured":"Vasudevan, S., Kurose, J., Towsley, D.: Design and analysis of a leader election algorithm for mobile ad hoc networks. In: Proc. ICNP 2004, pp. 350\u2013360. IEEE, Los Alamitos (2004)"},{"key":"7_CR28","first-page":"517","volume-title":"Proc. SECON 2004","author":"M.. Zuniga","year":"2004","unstructured":"Zuniga, M., Krishnamachari, B.: Analyzing the transitional region in low power wireless links. In: Proc. SECON 2004, pp. 517\u2013526. IEEE, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24749-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T08:55:08Z","timestamp":1593593708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24749-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642247484","9783642247491"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24749-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}