Skip to main content
SpringerLink
Log in

Specification of Distributed Systems Using Modal Logics

  • Conference paper
Book cover GI — 17. Jahrestagung Computerintegrierter Arbeitsplatz im Büro

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 156))

  • 94 Accesses

Abstract

We demonstrate that variations of modal logics provide a unified framework for expressing important properties of distributed systems, even if these systems are based on completely distinct semantic models. Considerable flexibility is gained if, moreover, the combination of different modal calculi is admitted.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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. G. R. Andrews, F. B. Schneider: Concepts and Notations for Concurrent Programming. ACM Comp. Surveys 15: 1 (1983) 3–43.

    Article  Google Scholar 

  2. M. Ben-Ari, A. Pnueli, Z. Manna: The Temporal Logic of Branching Time. Acta Informatica 20:3 (1983) 207–226.

    Article  Google Scholar 

  3. G. Boudol: Communication is an Abstraction. INRIA Rapports de Recherche, Nr 636, March 1987.

    Google Scholar 

  4. M. Broy, Th. Streicher: Views of Distributed Systems. Universität Passau, MIP-8612, Juli 1986.

    Google Scholar 

  5. N. Francez: A Case for a Forward Predicate Transformer. Inf. Proc. Letters 6: 6 (1977).

    Article  Google Scholar 

  6. C. A. R. Hoare, S. D. Brookes, A. W. Roscoe: A Theory of Communicating Sequential Processes. Oxford University PRG-21, 1981. Also: J.ACM 31 (1984) 560–599.

    Google Scholar 

  7. G. E. Hughes, M. J. Cresswell: An Introduction to Modal Logic. London: Methuen and Co. 1968.

    Google Scholar 

  8. F. Kröger: Temporal Logic. Berlin-Heidelberg-New York: Springer 1987.

    Book  Google Scholar 

  9. R. Kuiper: Enforcing Nondeterminism via Linear-Time Temporal Logic Specifications. Technische Univ. Eindhoven, Faculteit der Wiskunde en Informatica, March 1987.

    Google Scholar 

  10. Z. Manna: Logics of Programs. In: S. H. Lavington (ed.): Proc. Information Processing 80, North Holland 1980, 41–51.

    Google Scholar 

  11. Z. Manna, A. Pnueli: Verification of Concurrent Programs, Part I: The Temporal Framework. Stanford University STAN-CS-81–836, June 1981.

    Google Scholar 

  12. B. C. Moszkowski: Reasoning about Digital Circuits. Stanford University STAN-CS-83–970, July 1983.

    Google Scholar 

  13. M. Nielsen, G. Plotkin, G. Winskell: Petri Nets, Event Structures, and Domains, Part I. Theoretical Comp. Sc. 13 (1981) 85–108.

    Google Scholar 

  14. N. Rescher, A. Urquhart: Temporal Logic. Wien-New York: Springer 1971.

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Technische Universität Berlin, D 1000, Berlin 10, Deutschland

    Peter Pepper

Authors
  1. Peter Pepper
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Infromatik, Technische Universität München, Arcisstraße 21, D-8000, München 2, Deutschland

    Manfred Paul

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pepper, P. (1987). Specification of Distributed Systems Using Modal Logics. In: Paul, M. (eds) GI — 17. Jahrestagung Computerintegrierter Arbeitsplatz im Büro. Informatik-Fachberichte, vol 156. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01110-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-01110-2_8

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-662-01110-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation