{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:29Z","timestamp":1750307429463,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,17]],"date-time":"2010-10-17T00:00:00Z","timestamp":1287273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,10,17]]},"DOI":"10.1145\/1868521.1868572","type":"proceedings-article","created":{"date-parts":[[2010,10,19]],"date-time":"2010-10-19T12:41:35Z","timestamp":1287492095000},"page":"311-318","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal modelling and verification of the common hopping multi-channel MAC protocols"],"prefix":"10.1145","author":[{"given":"Abdelaziz","family":"El Fatni","sequence":"first","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Guy","family":"Juanole","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]},{"given":"Thierry","family":"Val","sequence":"additional","affiliation":[{"name":"University of Toulouse, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2010,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646602.696610"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1023720.1023742"},{"key":"e_1_3_2_1_3_1","volume-title":"Plenum Press","volume":"1","author":"Beizer B.","year":"1971","unstructured":"B. Beizer , \"The architecture and engineering of digital computer complexes '', Plenum Press , Volume 1 , New York , 1971 . B. Beizer, \"The architecture and engineering of digital computer complexes'', Plenum Press, Volume 1, New York, 1971."},{"key":"e_1_3_2_1_4_1","first-page":"432","volume-title":"Proc. of the 8th International Workshop on Petri Nets and Performance Models (PNPM'99)","author":"Germain R.","year":"1999","unstructured":"R. Germain , A. Heindl , \" Performance Evaluation IEEE 802. 11 Wireless LANs with Stochastic Petri Nets '', In Proc. of the 8th International Workshop on Petri Nets and Performance Models (PNPM'99) , pp. 432 -- 439 , Sept. 1999 . R. Germain, A. Heindl, \"Performance Evaluation IEEE 802.11 Wireless LANs with Stochastic Petri Nets'', In Proc. of the 8th International Workshop on Petri Nets and Performance Models (PNPM'99), pp. 432--439, Sept. 1999."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.1995.482656"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646215.681675"},{"key":"e_1_3_2_1_7_1","volume-title":"Modelling with Generalised Stochastic Petri Nets","author":"Marsan A.","year":"1996","unstructured":"A. Marsan , G. Balbo , G. Conte , S. Donatelli , and G. Franceschinis , \" Modelling with Generalised Stochastic Petri Nets '', John Wiley and Sons , 1996 . A. Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, \"Modelling with Generalised Stochastic Petri Nets'', John Wiley and Sons, 1996."},{"key":"e_1_3_2_1_8_1","unstructured":"R. Milner \"A Calculus of Communications Systems'' Volume 92 Springer Verlag Berlin Heidelberg 1980.   R. Milner \"A Calculus of Communications Systems'' Volume 92 Springer Verlag Berlin Heidelberg 1980."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2007.1075"},{"key":"e_1_3_2_1_10_1","first-page":"334","volume-title":"Proc. IEEE Wireless Com. and Networking Conf. (WCNC'07)","author":"Mo J.","year":"2007","unstructured":"J. Mo , H.-S. W. So , J. Walrand , \"McMAC : A Parallel Rendezvous Multi-Channel MAC protocol \", In Proc. IEEE Wireless Com. and Networking Conf. (WCNC'07) , pp. 334 -- 339 , Hong Kong , Oct. 2007 . J. Mo, H.-S. W. So, J. Walrand, \"McMAC: A Parallel Rendezvous Multi-Channel MAC protocol\", In Proc. IEEE Wireless Com. and Networking Conf. (WCNC'07), pp. 334--339, Hong Kong, Oct. 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/989459.989487"},{"key":"e_1_3_2_1_12_1","first-page":"415","volume-title":"Proc. IEEE International Conference on Communications (ICC'00)","author":"Tzamaloukas A.","year":"2000","unstructured":"A. Tzamaloukas , J. Garcia-Luna-Aceves , \" Channel-Hopping Multiple Access'' , In Proc. IEEE International Conference on Communications (ICC'00) , pp. 415 -- 419 , New Orleans, Louisiana , June 2000 . A. Tzamaloukas, J. Garcia-Luna-Aceves, \"Channel-Hopping Multiple Access'', In Proc. IEEE International Conference on Communications (ICC'00), pp. 415--419, New Orleans, Louisiana, June 2000."},{"key":"e_1_3_2_1_13_1","first-page":"415","volume-title":"Proc. IEEE Device Multimedia Communications (MoMuC'00)","author":"Tzamaloukas A.","year":"2000","unstructured":"A. Tzamaloukas , J. Garcia-Luna-Aceves , \" Channel-Hopping Multiple Access with Packet Trains for Ad Hoc Networks'' , In Proc. IEEE Device Multimedia Communications (MoMuC'00) , pp. 415 -- 419 , Tokyo, Japan , Oct. 2000 . A. Tzamaloukas, J. Garcia-Luna-Aceves, \"Channel-Hopping Multiple Access with Packet Trains for Ad Hoc Networks'', In Proc. IEEE Device Multimedia Communications (MoMuC'00), pp.415--419, Tokyo, Japan, Oct. 2000."},{"key":"e_1_3_2_1_14_1","first-page":"232","volume-title":"Proc of Int. Sym. on Parallel Architectures, Algorithms and networks (ISPAN'00)","author":"Wu S.-L.","year":"2000","unstructured":"S.-L. Wu , C.-Y. Lin , Y.-C. Tseng , J.-P. Sheu , \" A New Multi-Channel MAC Protocol with On-Demand Channel Assignment for Multi-Hop Mobile Ad Hoc Networks'' , Proc of Int. Sym. on Parallel Architectures, Algorithms and networks (ISPAN'00) , pp. 232 -- 237 , Dallas, Texas, USA , Dec. 2000 . S.-L. Wu, C.-Y. Lin, Y.-C. Tseng, J.-P. Sheu, \"A New Multi-Channel MAC Protocol with On-Demand Channel Assignment for Multi-Hop Mobile Ad Hoc Networks'', Proc of Int. Sym. on Parallel Architectures, Algorithms and networks (ISPAN'00), pp. 232--237, Dallas, Texas, USA, Dec. 2000."},{"key":"e_1_3_2_1_15_1","first-page":"101","volume-title":"Proc. of International Symposium on Parallel Architectures, The Computer J.","volume":"45","author":"Wu S.-L.","year":"2002","unstructured":"S.-L. Wu , C.-Y. Lin , Y.-C. Tseng , J.-P. Sheu , \" A Multi-Channel MAC Protocol with Power control for Multi-Hop Mobile Ad Hoc Networks '', Proc. of International Symposium on Parallel Architectures, The Computer J. , Vol. 45 , No. 1, pp. 101 -- 110 , 2002 . S.-L. Wu, C.-Y. Lin, Y.-C. Tseng, J.-P. Sheu, \"A Multi-Channel MAC Protocol with Power control for Multi-Hop Mobile Ad Hoc Networks'', Proc. of International Symposium on Parallel Architectures, The Computer J., Vol. 45, No. 1, pp. 101--110, 2002."}],"event":{"name":"MSWiM '10: The 13th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Bodrum Turkey","acronym":"MSWiM '10"},"container-title":["Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868521.1868572","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1868521.1868572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:52Z","timestamp":1750246792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1868521.1868572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,17]]},"references-count":15,"alternative-id":["10.1145\/1868521.1868572","10.1145\/1868521"],"URL":"https:\/\/doi.org\/10.1145\/1868521.1868572","relation":{},"subject":[],"published":{"date-parts":[[2010,10,17]]},"assertion":[{"value":"2010-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}