Skip to main content
SpringerLink
Log in

Observing Distributed Computation. A Dynamic-Epistemic Approach

  • Conference paper
Algebra and Coalgebra in Computer Science (CALCO 2007)

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

Included in the following conference series:

Abstract

We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located interconnected agents witnessing a distributed computation. The intention is to trace the process of knowledge acquisition and its dynamics in the context of distributed systems. Underpinning on the dual algebraical-coalgebraical characteristics of process calculi, we design a decidable and completely axiomatized logic that combines the process-algebraical/equational and the modal/coequational features and is developed for process-algebraical 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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Baltag, A., Moss, L.S.: Logics for Epistemic Programs. Synthese 139(2) (2004)

    Google Scholar 

  2. Baltag, A., Moss, L.S., Solecki, S.: The Logic of Public Announcements. Common Knowledge and Private Suspicions, CWI Tech. Rep. SEN-R9922 (1999)

    Google Scholar 

  3. van Benthem, J.F.A.K.: Logic for information update. In: Proc. of TARK 2001 (2001)

    Google Scholar 

  4. Calcagno, C., Cardelli, L., Gordon, A.D.: Deciding validity in a spatial logic for trees. Journal of Functional Programming 15 (2005)

    Google Scholar 

  5. Caires, L., Lozes, E.: Elimination of Quantifiers and Decidability in Spatial Logics for Concurrency. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, Springer, Heidelberg (2004)

    Google Scholar 

  6. Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). Information and Computation 186(2) (2003)

    Google Scholar 

  7. Dam, M.: Model checking mobile processes. Information and Computation 129(1) (1996)

    Google Scholar 

  8. van Ditmarsch, H.: Knowledge games. Bull. of Economic Research 53(4) (2001)

    Google Scholar 

  9. Fagin, R., et al.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  10. Gabbay, M., Pitts, A.: A New Approach to Abstract Syntax Involving Binders. Formal Aspects of Computing 13(3-5), 341–363 (2002)

    Article  MATH  Google Scholar 

  11. Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6 (1997)

    Google Scholar 

  12. Harel, D., et al.: Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  13. Hennessy, M., Milner, R.: Algebraic laws for Nondeterminism and Concurrency. Journal of JACM 32(1) (1985)

    Google Scholar 

  14. Hintikka, J.: Knowledge and Belief, Ithaca, N.Y.: Cornell University Press (1962)

    Google Scholar 

  15. Mardare, R.: Logical analysis of Complex Systems. Dynamic Epistemic Spatial Logics, Ph.D. thesis, DIT, University of Trento (2006)

    Google Scholar 

  16. Mardare, R., Priami, C.: Decidable extensions of Hennessy-Milner Logic. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Mardare, R., Priami, C.: Dynamic Epistemic Spatial Logics, Technical Report, 03/, Microsoft Research Center for Computational and Systems Biology, Trento, Italy (2006), available from http://www.cosbi.eu

  18. Mardare, R.: Dynamic-Epistemic reasoning on distributed systems, Technical Report 2007, Microsoft Research Center for Computational and Systems Biology, Trento, Italy (2006), available from http://www.cosbi.eu

  19. Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)

    Google Scholar 

  20. Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. TCS 114 (1993)

    Google Scholar 

  21. Sangiorgi, D.: Extensionality and Intensionality of the Ambient Logics. In: Proc. of the 28th ACM Annual Symposium on Principles of Programming Languages (2001)

    Google Scholar 

  22. Stirling, C.: Modal and temporal properties of processes. Springer, New York (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Microsoft Research - University of Trento Centre for Computational and Systems Biology, Trento, Italy

    Radu Mardare

Authors
  1. Radu Mardare
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Till Mossakowski Ugo Montanari Magne Haveraaen

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mardare, R. (2007). Observing Distributed Computation. A Dynamic-Epistemic Approach. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds) Algebra and Coalgebra in Computer Science. CALCO 2007. Lecture Notes in Computer Science, vol 4624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73859-6_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73859-6_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73857-2

  • Online ISBN: 978-3-540-73859-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation