An Observational Theory for Mobile Ad Hoc Networks

Electronic Notes in Theoretical Computer Science

Volumn 173, Issue SPEC. ISS., 2007, Pages 275-293

  Merro, Massimo ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

Ad hoc networks; bisimulation; process calculi; structural operational semantics

Indexed keywords

COMPUTER SIMULATION; EQUIVALENCE CLASSES; MOBILE TELECOMMUNICATION SYSTEMS; SEMANTICS;

BISIMULATION; OPERATIONAL SEMANTICS; PROCESS CALCULI; STRUCTURAL OPERATIONAL SEMANTICS;

AD HOC NETWORKS;

EID: 33847665207     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.02.039     Document Type: Article

References (24)

1. Berry G., and Gonthier G. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19 2 (1992) 87-152
2. C. Ene and T. Muntean. A Broadcast based Calculus for Communicating Systems. In IPDPS, page 149, 2001
3. Francalanza A., and Hennessy M. A theory of system behaviour in the presence of node and link failures. CONCUR. Lecture Notes in Computer Science volume 3653 (2005), Springer
4. Francalanza A., and Hennessy M. A theory for observational fault tolerance. FoSSaCS. Lecture Notes in Computer Science volume 3921 (2006), Springer 16-31
5. Harel D. Statecharts: A visual formulation for complex systems. Science of Computer Programming 8 3 (1987) 231-274
6. Hennessy M., and Rathke J. Bisimulations for a Calculus of Broadcasting Systems. Theoretical Computer Science 200 (1998) 225-260
7. Honda K., and Yoshida N. On reduction-based process semantics. Theoretical Computer Science 152 2 (1995) 437-486
8. M. Merro. An Observational Theory for Mobile Ad Hoc Networks. Technical Report 44/2006, Dipartimento di Informatica - Università degli studi di Verona, Italy, December 2006. Available at http://www.di.univr.it/report
9. Mezzetti N., and Sangiorgi D. Towards a Calculus For Wireless Systems. Electronic Notes in Theoretical Computer Science 158 (2006) 331-353
10. Milner R. Calculi for synchrony and asynchrony. Theoretical Computer Science 25 (1983) 267-310
11. Milner R. Communication and Concurrency (1989), Prentice Hall
12. Milner R., Parrow J., and Walker D. A calculus of mobile processes, (Parts I and II). Information and Computation 100 (1992) 1-77
13. Milner R., and Sangiorgi D. Barbed bisimulation. ICALP. LNCS volume 623 (1992), Springer Verlag 685-695
14. S. Nanz and C. Hankin. A Framework for Security Analysis of Mobile Wireless Networks. Theoretical Computer Science, 2006. To appear
15. Ostrovsky K., Prasad K.V.S., and Taha W. Towards a primitive higher order calculus of broadcasting systems. PPDP (2002), ACM 2-13
16. Park D.M. Concurrency on automata and infinite sequences. In: Deussen P. (Ed). Conf. on Theoretical Computer Science. LNCS volume 104 (1981), Springer Verlag
17. Perkins C.E., and Belding-Royer E.M. Ad-hoc on-demand distance vector routing. 2nd Workshop on Mobile Computing Systems and Applications. (WMCSA '99) (1999), IEEE Computer Society 90-100
18. G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, Aarhus University, 1981
19. Prasad K.V.S. A Calculus of Broadcasting Systems. SCIPROG: Science of Computer Programming 25 2-3 (1995)
20. Prasad K.V.S. Broadcasting in Time. COORDINATION. LNCS volume 1061 (1996)
21. Prasad K.V.S. A calculus of value broadcasts. PARLE: Parallel Architectures and Languages Europe. LNCS (1993)
22. Prasad K.V.S. A prospectus for mobile broadcasting systems. Proc. of the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. (PA'05) (2005), BRICS Press
23. Rappaport T. Wireless Communications: Principles and Practice. Monographs in Computer Science. 2nd Ed. (2002), Prentice Hall
24. Singh A., Ramakrishnan C.R., and Smolka S.A. A Process Calculus for Mobile Ad Hoc Networks. Available at (2006). http://www.lmc.cs.sunysb.edu/~cram/Papers/SRS_OmegaCalc2006/