Skip to main content
SpringerLink
Log in

Brief Announcement Monitoring of Linear Distributed Computations

  • Conference paper
Distributed Computing (DISC 2006)

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

Included in the following conference series:

Abstract

We consider a general formal model for monitoring of a local network behavior. Monitored behavior of the system corresponds to the dynamics induced on the observed state space by the corresponding projection function. An algorithm is developed for restoration of information about the system state on the base of the observations.

The theoretical work is backed by our experiments on monitoring Spanning Tree Protocol.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

References

  1. Filatov, V., Yavorskiy, R.: Scenario based analysis of linear computations. In: Proceedings of 12th International Workshop on Abstract State Machines ASM 2005, France, March 8-11, 2005, pp. 167–174 (2005)

    Google Scholar 

  2. Gurevich, Y.: Abstract State Machines: An Overview of the Project. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 6–13. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Börger, E., Stärk, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  4. Glaesser, U., Gurevich, Y., Veanes, M.: Abstract Communication Model for Distributed Systems. IEEE Transactions on Software Engineering 30(7), 458–472 (2004)

    Article  Google Scholar 

  5. The OSI Reference Model, http://www.cisco.com/warp/public/473/5.html

Download references

Author information

Authors and Affiliations

  1. Steklov Mathematical Institute, Gubkina 8, Moscow, 119991, Russia

    Anton Esin & Rostislav Yavorskiy

  2. Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Moscow, 119992, Russia

    Nikolay Zemtsov

Authors
  1. Anton Esin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rostislav Yavorskiy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nikolay Zemtsov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Ben Gurion University of the Negev, Israel

    Shlomi Dolev

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Esin, A., Yavorskiy, R., Zemtsov, N. (2006). Brief Announcement Monitoring of Linear Distributed Computations. In: Dolev, S. (eds) Distributed Computing. DISC 2006. Lecture Notes in Computer Science, vol 4167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11864219_47

Download citation

  • DOI: https://doi.org/10.1007/11864219_47

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44624-8

  • Online ISBN: 978-3-540-44627-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation