An operational semantics for a calculus for wireless systems

Theoretical Computer Science

Volumn 411, Issue 19, 2010, Pages 1928-1948

  Lanese, Ivan ^a   Sangiorgi, Davide ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Broadcast; Interference; Labelled Transition Semantics; Reduction Semantics; Wireless systems

Indexed keywords

ASYNCHRONY; COMMUNICATION MECHANISMS; LABELLED TRANSITIONS; OPERATIONAL SEMANTICS; REDUCTION SEMANTICS; WIRELESS SYSTEMS;

CALCULATIONS; WIRELESS NETWORKS;

SEMANTICS;

EID: 77949491135     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2010.01.023     Document Type: Article

References (33)

1. Aceto L., Ingólfsdóttir A., Larsen K.G., and Srba J. Reactive Systems - Modelling, Specification and Verification (2007), Cambridge University Press
2. Akyildiz I.F., and Kasimoglu I.H. Wireless sensor and actor networks: Research challenges. Ad Hoc Networks 2 4 (2004) 351-367
3. Akyildiz I.F., Su W., Sankarasubramaniam Y., and Cayirci E. A survey on sensor networks. IEEE Communications Magazine 40 8 (2002) 102-114
4. Berry G., and Gonthier G. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19 2 (1992) 87-152
5. Boukerche A., and Bononi L. Simulation and modeling of wireless, mobile and ad hoc networks. Mobile Ad Hoc Networking (2004), IEEE/Wiley chapter
6. Cardelli L., and Gordon A.D. Mobile ambients. Proceedings of Foundations of Software Science and Computation Structures, FoSSaCS vol. 1378 (1998), Springer 140-155
7. Chatzigiannakis I., Dimitriou T., Mavronicolas M., Nikoletseas S.E., and Spirakis P.G. A comparative study of protocols for efficient data propagation in smart dust networks. Parallel Processing Letters 13 4 (2003) 615-627
8. Ene C., and Muntean T. Expressiveness of point-to-point versus broadcast communications. Proceedings of 12th International Symposium on Fundamentals of Computation Theory, FCT'99. Lecture Notes in Computer Science vol. 1684 (1999), Springer 258-268
9. Godskesen J.Chr. A calculus for mobile ad hoc networks. Proceedings of 9th International Conference on Coordination Models and Languages, COORDINATION'07. Lecture Notes in Computer Science vol. 4467 (2007), Springer 132-150
10. Goode B.G. Reliable enough for a nuclear plant?. Wireless for Industry 3 (2004) 7-9
11. Harel D. Statecharts: A visual formulation for complex systems. Science of Computer Programming 8 3 (1987) 231-274
12. Inst. Elec. Electron. Eng., New York, USA. IEEE Std 802.11 - 1999: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications, 1999.
13. Inst. Elec. Electron. Eng., New York, USA. IEEE Std. 802.15.4 - 2003: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low Rate Wireless Personal Area Networks (WPANs), 2003.
14. Java in simulation time / scalable wireless ad hoc network simulator. http://jist.ece.cornell.edu/.
15. Kevan T. Coming soon to your neighborhood. Wireless Sensors 3 (2005) 5-8
16. Mainwaring A.M., Culler D.E., Polastre J., Szewczyk R., and Anderson J. Wireless sensor networks for habitat monitoring. Proceedings of the First ACM International Workshop on Wireless Sensor Networks and Applications, WSNA'02 (2002), ACM Press 88-97
17. Merro M. An observational theory for mobile ad hoc networks. Proceedings of the 23rd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS XXIII. Electronic Notes in Theoretical Computer Science vol. 173 (2007), Elsevier 275-293
18. N. Mezzetti, Trust and wireless communication, Ph.D. Thesis, Computer Science Department, University of Bologna, 2006.
19. Mezzetti N., and Sangiorgi D. Towards a calculus for wireless systems. Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS XXII. Electronic Notes in Theoretical Computer Science vol. 158 (2006), Elsevier 331-353
20. Milner R. Calculi for synchrony and asynchrony. Theoretical Computer Science 25 (1983) 267-310
21. Milner R. Communication and Concurrency (1989), Prentice Hall
22. R. Milner, The polyadic π-calculus: A tutorial, Technical Report ECS-LFCS-91-180, Edinburgh University, 1991. Also in Logic and Algebra of Specification, Springer, 1993.
23. Nanz S., and Hankin C. A framework for security analysis of mobile wireless networks. Theoretical Computer Science 367 1-2 (2006) 203-227
24. Nikoletseas S.E. Models and algorithms for wireless sensor networks (smart dust). Proceedings of 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM'06. Lecture Notes in Computer Science vol. 3831 (2006), Springer 64-83
25. The network simulator. http://nsnam.isi.edu/nsnam/index.php/Main_Page.
26. Ostrovsky K., Prasad K.V.S., and Taha W. Towards a primitive higher order calculus of broadcasting systems. Proceedings of the 4th International Conference on Principles and Practice of Declarative Programming, PPDP'02 (2002), ACM Press 2-13
27. Prasad K.V.S. A calculus of broadcasting systems. Science of Computer Programming 25 2-3 (1995) 285-327
28. Prasad K.V.S. Broadcasting in time. Proceedings of First International Conference on Coordination Languages and Models, COORDINATION'96. Lecture Notes in Computer Science vol. 1061 (1996), Springer 321-338
29. Prasad K.V.S. A prospectus for mobile broadcasting systems. Proceedings of the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond, PA'05 (2005), BRICS Press 209-212
30. Sangiorgi D., and Walker D. The π-Calculus: A Theory of Mobile Processes (2001), Cambridge University Press
31. Senders D., Neely S., and Lewis J. Manufacturing probe needles with vision. Wireless Sensors 3 (2005) 25-28
32. Szewczyk R., Polastre J., Mainwaring A.M., and Culler D.E. Lessons from a sensor network expedition. Proceedings of First European Workshop on Wireless Sensor Networks, EWSN'04. Lecture Notes in Computer Science vol. 2920 (2004), Springer 307-322
33. Warneke B., Last M., Liebowitz B., and Pister K.S.J. Smart dust: Communicating with a cubic-millimeter computer. IEEE Computer 34 1 (2001) 44-51