A timed calculus for wireless systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5961 LNCS, Issue , 2010, Pages 228-243

  Merro, Massimo ^a   Sibilio, Eleonora ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC PROPERTIES; BISIMILARITY; BISIMULATIONS; DATA TRANSMISSION; LABELLED TRANSITION SYSTEMS; OPERATIONAL SEMANTICS; PROGRAM EQUIVALENCE; PROOF METHODS; TIME PROPERTIES; TIMED PROCESS; WIRELESS SYSTEMS;

COMPUTER SOFTWARE; PERMANENT MAGNETS;

CALCULATIONS;

EID: 77949455434     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11623-0_13     Document Type: Conference Paper

References (29)

1. IEEE 802.11 WG: ANSI/IEEE standard 802.11: Wireless LAN medium access control (MAC) and physical layer (PHY) speci.cations. IEEE Computer Society, Los Alamitos (2007)
2. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cli.s (1989)
3. Bergstra, J., Klop, J.: Process algebra for synchronous communication. Information and Computation 60, 109-137 (1984)
4. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (Parts I and II). Information and Computation 100, 1-77 (1992)
5. Cardelli, L., Gordon, A.: Mobile ambients. Theoretical Computer Science 240(1), 177-213 (2000)
6. Hennessy, M., Riely, J.: A typed language for distributed mobile processes. In: 25th POPL. ACM Press, New York (1998)
7. Mezzetti, N., Sangiorgi, D.: Towards a Calculus For Wireless Systems. Electronic Notes in Theoretical Computer Science 158, 331-353 (2006)
8. Nanz, S., Hankin, C.: A Framework for Security Analysis of Mobile Wireless Networks. Theoretical Computer Science 367(1-2), 203-227 (2006)
9. Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A Process Calculus for Mobile Ad Hoc Networks. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 296-314. Springer, Heidelberg (2008)
10. Merro, M.: An Observational Theory for Mobile Ad Hoc Networks (full paper). Information and Computation 207(2), 194-208 (2009)
11. Godskesen, J.: A Calculus for Mobile Ad Hoc Networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 132-150. Springer, Heidelberg (2007)
12. Godskesen, J.: A Calculus for Mobile Ad-hoc Networks with Static Location Binding. Electronic Notes in Theoretical Computer Science 242(1), 161-183 (2009)
13. Ghassemi, F., Fokkink, W., Movaghar, A.: Restricted Broadcast Process Theory. In: SEFM, pp. 345-354. IEEE Computer Society, Los Alamitos (2008)
14. Ghassemi, F., Fokkink, W., Movaghar, A.: Equational Reasoning on Ad Hoc networks. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 113-128. Springer, Heidelberg (2010)
15. Mock, M., Frings, R., Nett, E., Trikaliotis, S.: Continuous Clock Synchronization in Wireless Real-Time Applications. In: SRDS, pp. 125-133. IEEE Computer Society, Los Alamitos (2000)
16. Ganeriwal, S., Kumar, R., Srivastava, M.: Timing-Sync Protocol for Sensor Networks. In: SenSys, pp. 138-149. ACM Press, New York (2003)
17. Sichitiu, M.L., Veerarittiphan, C.: Simple, Accurate Time Synchronization for Wireless Sensor Networks. In: WCNC, pp. 1266-1273. IEEE Computer Society, Los Alamitos (2003)
18. Su, W., Akyildiz, I.: Time-Di.usion Synchronization Protocols for Sensor Networks. IEEE/ACM Transactions on Networking 13(2), 384-397 (2005)
19. Li, Q., Rus, D.: Global Clock Synchronization in Sensor Networks. IEEE Transactions on Computers 55(2), 214-226 (2006)
20. Yoon, S., Veerarittiphan, C., Sichitiu, M.L.: Tiny-sync: Tight time synchronization for wireless sensor networks. ACM Transactions on Sensor Networks 3(2), 81-118 (2007)
21. Sundararaman, B., Buy, U., Kshemkalyani, A.D.: Clock synchronization for wireless sensor networks: a survey. Ad Hoc Networks 3(3), 281-323 (2005)
22. Hennessy, M., Regan, T.: A process algebra for timed systems. Information and Computation 117(2), 221-239 (1995)
23. Prasad, K.: Broadcasting in Time. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 321-338. Springer, Heidelberg (1996)
24. Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 685-695. Springer, Heidelberg (1992)
25. Rathke, J., Sassone, V., Sobocinski, P.: Semantic Barbs and Biorthogonality. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol. 4423, pp. 302-316. Springer, Heidelberg (2007)
26. Aceto, L., Hennessy, M.: Towards action-refinement in process algebras. Information and Computation 103(2), 204-269 (1993)
27. Prasad, K.: A Calculus of Broadcasting Systems. Science of Computer Programming 25(2-3) (1995)
28. Corradini, F., Ferrari, G., Pistore, M.: On the semantics of durational actions. Theoretical Computer Science 269(1-2), 47-82 (2001)
29. Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282-298. Springer, Heidelberg (2005)