Skip to main content
SpringerLink
Log in

Observation-Oriented Semantics for Calculus of Wireless Systems

  • Conference paper
  • First Online:
Unifying Theories of Programming (UTP 2014)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8963))

Included in the following conference series:

Abstract

Wireless networks are being deployed in a wide range of communication scenarios. Calculus of Wireless Systems [8] is introduced for specifying the behaviour of wireless communication. It contains several interesting features, including local broadcasting, half-duplex channel and transmission interference. In this paper we explore an observation-oriented semantics for the calculus, which can be used to study network equivalence. We investigate the observation-oriented semantics of wireless networks based on its basic components. A wireless network is specified as a set of nodes running in parallel, which are classified into four different types according to their states. The behaviour of a node is determined by its state with its environment, i.e., nodes which are located close to it. Hence a trace is introduced to record the execution as well as the corresponding environment update of a node. Based on traces of a set of nodes, the behaviour of a network composed of these nodes can be deduced. We also investigate a set of algebraic laws based on the observation-oriented semantics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Camp, T., Boleng, J., Davies, V.: A survey of mobility models for ad hoc network research. Wireless Communications and Mobile Computing 2(5), 483–502 (2002)

    Article  Google Scholar 

  2. Cerone, A., Hennessy, M.: Modelling probabilistic wireless networks. Logical Methods in Computer Science 9(3) (2013)

    Google Scholar 

  3. Cerone, A., Hennessy, M., Merro, M.: Modelling mac-layer communications in wireless systems. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 16–30. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  4. Focardi, R., Gorrieri, R., Martinelli, F.: Classification of security properties - part II: network security. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2001. LNCS, vol. 2946, pp. 139–185. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  5. Ghassemi, F., Fokkink, W., Movaghar, A.: Restricted broadcast process theory. In: SEFM, pp. 345–354 (2008)

    Google Scholar 

  6. Godskesen, J.C.: 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)

    Chapter  Google Scholar 

  7. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)

    Google Scholar 

  8. Lanese, I., Sangiorgi, D.: An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19), 1928–1948 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  9. Merro, M.: An observational theory for mobile ad hoc networks (full version). Inf. Comput. 207(2), 194–208 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  10. Merro, M., Ballardin, F., Sibilio, E.: A timed calculus for wireless systems. Theor. Comput. Sci. 412(47), 6585–6611 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  11. Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. Electr. Notes Theor. Comput. Sci. 158, 331–353 (2006)

    Article  Google Scholar 

  12. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, (parts I and II). Information and Computation 100, 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  13. Nanz, S., Hankin, C.: Formal security analysis for ad-hoc networks. Electr. Notes Theor. Comput. Sci. 142, 195–213 (2006)

    Article  Google Scholar 

  14. Ostrovsky, K., Prasad, K.V.S., Taha, W.: Proceedings of the 4th international ACM sigplan conference on principles and practice of declarative programming, October 6–8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002). In: Towards a Primitive Higher Order Calculus of Broadcasting Systems, pp. 2–13. ACM (2002)

    Google Scholar 

  15. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60–61, 17–139 (2004)

    MathSciNet  Google Scholar 

  16. Prasad, K.V.S.: A calculus of broadcasting systems. Sci. Comput. Program. 25(2–3), 285–327 (1995)

    Article  Google Scholar 

  17. Prasad, K.V.S.: Broadcasting in time. In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 321–338. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  18. Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A process calculus for mobile ad hoc networks. Sci. Comput. Program. 75(6), 440–469 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  19. Sundararaman, B., Buy, U., Kshemkalyani, A.D.: Clock synchronization for wireless sensor networks: a survey. Ad Hoc Networks 3(3), 281–323 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, China

    Xiaofeng Wu, Huibiao Zhu & Xi Wu

Authors
  1. Xiaofeng Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huibiao Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xi Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Huibiao Zhu .

Editor information

Editors and Affiliations

  1. Computer Science, Stevens Institute of Technology, Hoboken, New Jersey, USA

    David Naumann

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Wu, X., Zhu, H., Wu, X. (2015). Observation-Oriented Semantics for Calculus of Wireless Systems. In: Naumann, D. (eds) Unifying Theories of Programming. UTP 2014. Lecture Notes in Computer Science(), vol 8963. Springer, Cham. https://doi.org/10.1007/978-3-319-14806-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-14806-9_6

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-14805-2

  • Online ISBN: 978-3-319-14806-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation