Interference-sensitive preorders for MANETs

Proceedings - 2012 9th International Conference on Quantitative Evaluation of Systems, QEST 2012

Volumn , Issue , 2012, Pages 189-198

  Bugliesi, Michele ^a   Gallina, Lucia ^a   Marin, Andrea ^a   Rossi, Sabina ^a   Hamadou, Sardaouna ^b  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b ÉCOLE POLYTECHNIQUE   (France)

Author keywords

interference; manets; process algebras

Indexed keywords

ALGEBRAIC MODELS; CDMA TRANSMISSION; COMMUNICATION INTERFERENCES; INTERFERENCE CANCELLATION SCHEME; INTERFERENCE LEVEL; MANETS; OBSERVATIONAL CONGRUENCE; PREORDERS; PROBABILISTIC PROCESS; PROCESS ALGEBRAS;

ALGEBRA; WAVE INTERFERENCE;

MOBILE AD HOC NETWORKS;

EID: 84870738562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2012.15     Document Type: Conference Paper

References (17)

1. X. Wang and K. Kar, "Throughput modelling and fairness issues in CSMA/CA based ad-hoc networks," in Proc. of the 24th Annual Joint Conf. of the IEEE Computer and Communications Societies (INFOCOM'05). IEEE, 2005, pp. 23-34.
2. A. Muqattash and M. Krunz, "CDMA-based MAC protocol for wireless ad hoc networks," in Proc. of the 4th ACM International Symposium on Mobile ad hoc Networking & Computing (MobiHoc'03). ACM, 2003, pp. 153-164.
3. L. Gallina, S. Hamadou, A. Marin, and S. Rossi, "A probabilistic energy-aware model for mobile ad-hoc networks," in Proc. of the 18th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'11), ser. LNCS, vol. 6751. Springer-Verlag, 2011, pp. 316-330.
4. L. Gallina and S. Rossi, "Sender- and receiver-centered interference in wireless ad hoc networks," in Proc. of IFIP Wireless Days 2010 (WD'10). IEEE, 2010.
5. I. Lanese and D. Sangiorgi, "An operational semantics for a calculus for wireless systems," Theoretical Computer Science (TCS'10), vol. 411, no. 19, pp. 1928 - 1948, 2010.
6. M. Merro, "An observational theory for mobile ad hoc networks," Information and Computation, vol. 207, no. 2, pp. 194-208, 2009.
7. R. Segala and N. Lynch, "Probabilistic simulations for probabilistic processes," in Proc. of the 5th International Conference on Concurrency Theory (CONCUR'94), ser. LNCS, vol. 836. Springer-Verlag, 1994, pp. 481-496.
8. R. Milner and D. Sangiorgi, "Barbed bisimulation," in Proc. of International Colloquium on Automata, Languages and Programming (ICALP'92), ser. LNCS, vol. 623. Springer-Verlag, 1992, pp. 685-695.
9. J. Goubault-Larrecq, C. Palamidessi, and A. Troina, "A probabilistic applied pi-calculus," in Proc. of the 5th Asian Symposium on Programming Languages and Systems (APLAS'07), ser. LNCS, vol. 4807. Springer-Verlag, 2007, pp. 175-190.
10. C. Priami, "Stochastic π-calculus," The Computer Journal, vol. 38, no. 7, pp. 578-589, 1995.
11. J. Hillston, A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
12. M. Bernardo and M. Bravetti, "Performance measure sensitive congruences for markovian process algebras," Theoretical Computer Science, vol. 290, no. 1, pp. 117 - 160, 2003.
13. G. Mohimani, F. Ashtiani, A. Javanmard, and M. Hamdi, "Mobility Modeling, Spatial Traffic Distribution, and Probability of Connectivity for Sparse and Dense Vehicular Ad Hoc Networks," IEEE Trans. on Vehicular Technology, vol. 58, no. 4, May, 2009.
14. M. Beccuti, M. D. Pierro, A. Horvàth, A. Horvàth, and K. Farkas, "A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks," in Proc. of 73rd IEEE Vehicular Technology Conference (VTC Spring). Budapest, HU: IEEE, 2011, pp. 1-5.
15. M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, and S. Rossi, "Interference-sensitive preorders for manets," Department of Computer Science, University Ca' Foscari of Venice, Research Report DAIS-2011-10, 2011.
16. E. Bandini and R. Segala, "Axiomatizations for probabilistic bisimulation," in Proc. of the 28th International Colloquium on Automata, Languages and Programming (ICALP'01), ser. LNCS, vol. 2076. Springer-Verlag, 2001, pp. 370-381.
17. L. Song and J. Godskesen, "Probabilistic mobility models for mobile and wireless networks," in Theoretical Computer Science, ser. IFIP Advances in Information and Communication Technology. Springer Boston, 2010, vol. 323, pp. 86-100.