Towards a Calculus For Wireless Systems

Electronic Notes in Theoretical Computer Science

Volumn 158, Issue 1, 2006, Pages 331-353

  Mezzetti, Nicola ^a   Sangiorgi, Davide ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

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

Indexed keywords

BROADCASTING; NUMERICAL METHODS; RADIO INTERFERENCE; SEMANTICS;

BROADCAST; INTERFERENCES; LABELLED TRANSITION SEMANTICS; REDUCTION SEMANTICS; WIRELESS SYSTEMS;

WIRELESS TELECOMMUNICATION SYSTEMS;

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

References (31)

1. Akyildiz I.F., and Kasimoglu I.H. Wireless sensor and actor networks: research challenges. Ad Hoc Networks 2 4 (2004) 351-367
2. Akyildiz I.F., Su W., Sankarasubramaniam Y., and Cayirci E. A survey on sensor networks. IEEE Communications Magazine 40 8 (August 2002) 10214
3. Berry G., and Gonthier G. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19 2 (1992) 87-152
4. Brookes S.D., Hoare C.A.R., and Roscoe A.W. A theory of communicating sequential processes. Journal of the Association for Computing Machinery 31 3 (1984) 560-599
5. Chatzigiannakis I., Dimitriou T., Mavronicolas M., Nikoletseas S., and Spirakis P. A comparative study of protocols for efficient data propagation in smart dust networks. Parallel Processing Letters 13 4 (2003) 615-627
6. Estrin D. Wireless sensor networks: application driver for low power distributed systems. ISLPED '01: Proceedings of the 2001 international symposium on Low power electronics and design (2001), ACM Press, New York, NY, USA 194
7. Goode B.G. Reliable enough for a nuclear plant?. Wireless for Industry 3 (2004) 7-9
8. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8 3 (June 1987) 231-274
9. Ingraham D., Beresford R., Kaluri K., Ndoh M., and Srinivasan K. Wireless sensors: Oyster habitat monitoring in the bras d'or lakes. Proceedings od the International Conference on Distributed Computing in Sensor Systems. (DCOSS) (2005), Springer-Verlag 399-400
10. Microstrain inc. Wireless sensors monitor critical civil infrastructure. Wireless for Industry 3 (2004) 6
11. Kevan T. Coming soon to your neighborhood. Wireless Sensors 3 (2005) 5-8
12. Kevan T. Updating a steel mill wirelessly. Wireless Sensors 4 (2005) 4-5
13. Mainwaring A., Culler D., 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) (September 28 2002), ACM Press, New York 88-97
14. N. Mezzetti. Trust and wireless communication. PhD thesis, University of Bologna, 2006
15. Milner R. Calculi for synchrony and asynchrony. Theoretical Computer Science 25 3 (1983) 267-310
16. Milner R. Communication and Concurrency (1989), Prentice Hall
17. R. Milner. The polyadic π-calculus: a tutorial. Technical Report ECS-LFCS-91-180, LFCS, 1991
18. Also in. In: Bauer F.L., Brauer W., and Schwichtenberg H. (Eds). Logic and Algebra of Specification (1993), Springer Verlag
19. Nanz S., and Hankin C. Formal security analysis for ad-hoc networks. Proceedings of the 2004 Workshop on Views on Designing Complex Architectures. (VODCA'04) (2004), Elsevier 195-213
20. Sebastian Nanz and Chris Hankin. A framework for security analysis of mobile wireless networks. Technical Report 2005/4, Imperial College London, 2005. http://www.doc.ic.ac.uk/research/technicalreports/
21. Nikoletseas S.E. Models and algorithms for wireless sensor networks (smart dust). Proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science. (SOFSEM 2006) (2006), Springer-Verlag 64-83
22. 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 (2002), ACM Press 2-13
23. Prasad K.V.S. A calculus of broadcasting systems. Sci. Comput. Program. 25 2-3 (1995) 285-327
24. Prasad K.V.S. A calculus of broadcasting systems. SCIPROG: Science of Computer Programming 25 2-3 (1995) 285-327
25. Prasad K.V.S. Broadcasting in time. In: Ciancarini P., and Hankin C. (Eds). COORDINATION. Lecture Notes in Computer Science volume 1061 (1996), Springer 321-338
26. Prasad K.V.S. A prospectus for mobile broadcasting systems. In: Aceto L., and Gordon A. (Eds). Proceedings of the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. (PA '05) (June 2005), BRICS Press 209-212
27. Senders D., Neely S., and Lewis J. Manufacturing probe needles with vision. Wireless Sensors 3 (2005) 25-28
28. Szewczyk R., Polastre J., Mainwaring A.M., and Culler D. Lessons from a sensor network expedition. 2nd European Workshop on Wireless Sensor Networks (2004), ACM Press 307-322
29. Sangiorgi D., and Walker D. The π-calculus: a Theory of Mobile Processes (2001), Cambridge University Press
30. Sensicast Systems. Sensicast mesh network monitors nuclear plant motors. Wireless for Industry 3 (2004) 6
31. Warneke B., Last M., Liebowitz B., and Pister K.S.J. Smart dust: Communicating with a cubic-millimeter computer. Computer 34 1 (2001) 44-51