Skip to main content
SpringerLink
Log in

A modal logic for a subclass of event structures

  • Temporal Logic, Concurrent Systems
  • Conference paper
  • First Online:
Book cover Automata, Languages and Programming (ICALP 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 267))

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. J.P. Burgess: Basic Tense Logic. In: Handbook of Philosophical Logic, Vol II, D. Gabbay and F. Guenthner (Eds.), D. Reidel Publishing Company (1984), 89–133.

    Google Scholar 

  2. K.M. Chandy and J. Misra: How Processes Learn. Distributed Computing, 1.1 (1986), 40–52.

    Google Scholar 

  3. E.A. Emerson and J.Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. J. Computer and Systems Science, 30,1 (1986), 1–24.

    Google Scholar 

  4. R. Fagin, J.Y. Halpern and M. Vardi: A Model Theoretic Analysis of Knowledge. Proceedings of the 25th IEEE Symp. on the Foundations of Computer Science (1984).

    Google Scholar 

  5. J.Y. Halpern and M. Vardi: The Complexity of Reasoning about Knowledge and Time. Proceedings of the 18th Annual ACM Symp. on Theory of Computing (1986), 304–315.

    Google Scholar 

  6. K. Lodaya and P.S. Thiagarajan: A Modal Logic for a Subclass of Event Structures. Report DAIMI PB-220, Computer Science Department, Aarhus University, Denmark.

    Google Scholar 

  7. M. Nielsen, G. Plotkin and G. Winskel: Petri Nets, Event Structures and Domains, Part I. Theoretical Computer Science 13,1 (1981), 62–85.

    Google Scholar 

  8. S. Owicki and L. Lamport: Proving Liveness Properties of Concurrent Programs. ACM Transactions on Programming Languages and Systems, 4,3 (1982), 455–495.

    Article  Google Scholar 

  9. R. Parikh: Logics of Knowledge, Games and Dynamic Logic. Springer-Verlag Lecture Notes in Computer Science 181 (1984), 202–222.

    Google Scholar 

  10. A. Pnueli: The Temporal Logic of Programs. Proceedings of the 18th IEEE Symp. on Foundations of Computer Science (1977), 46–57.

    Google Scholar 

  11. A. Pnueli: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A survey of current trends. Springer-Verlag Lecture Notes in Computer Science 224 (1986), 510–584.

    Google Scholar 

  12. G. Winskel: Event Structure Semantics for CCS and Related Languages. Springer-Verlag Lecture Notes in Computer Science 140 (1982), 561–577.

    Google Scholar 

  13. G. Winskel: Event Structures. Report 95 of The Computer Laboratory, University of Cambridge (1986).

    Google Scholar 

Download references

Author information

Author notes

  1. P. S. Thiagarajan

    Present address: The Institute of Mathematical Sciences, 600 113, Madras, India

Authors and Affiliations

  1. Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay, India

    K. Lodaya

  2. Computer Science Department, Aarhus University, DK-8000, Aarhus C, Denmark

    P. S. Thiagarajan

Authors
  1. K. Lodaya
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. S. Thiagarajan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas Ottmann

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lodaya, K., Thiagarajan, P.S. (1987). A modal logic for a subclass of event structures. In: Ottmann, T. (eds) Automata, Languages and Programming. ICALP 1987. Lecture Notes in Computer Science, vol 267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18088-5_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-18088-5_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18088-3

  • Online ISBN: 978-3-540-47747-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation