Skip to main content
SpringerLink
Log in

An axiomatization of event structures

  • Concurreny
  • Conference paper
  • First Online:
Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1989)

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

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.

References

  1. Burgess, J. P.: "Basic Tense Logic", in Handbook of Philosophical Logic, Vol. II, Gabbay and Guenthner (eds.), D. Reidel Publishing Co., Dordrecht (1984), 89–133.

    Google Scholar 

  2. Burgess, J. P.: Decidability for Branching Time", Studia Logica XXXIX, 2/3 (1980) 203–218.

    Article  Google Scholar 

  3. Emerson, E. A. and Halpern, J. Y.: "Decision Procedures and Expressiveness in the Temporal Logic of Branching Time", J Comput. Syst. Sci., 30, 1 (1985), 1–24.

    Article  Google Scholar 

  4. Hughes, G. E. and Cresswell, M. J.: An Introduction to Modal Logic, Methuen and Co., London (Reprinted in 1982).

    Google Scholar 

  5. Katz, S. and Peled, D.: "Interleaving Set Temporal Logic", Proc. 6th ACM-PODC Symposium, Vancouver, Canada (1987) 178–190.

    Google Scholar 

  6. Lodaya, K. and Thiagarajan, P. S.: "A Modal Logic for a Subclass of Event Structures", LNCS 267 (1987) 290–303.

    Google Scholar 

  7. Lodaya, K. and Thiagarajan, P. S.: "A Correction to’ A Modal Logic for a Subclass of Event Structures'", Report DAIMI-PB-275, Computer Science Department, Aarhus University, Aarhus, Denmark (1989).

    Google Scholar 

  8. Mukund, M. and Thiagarajan, P. S.: "A Petri Net Model of Asynchronously Communicating Sequential Processes", in A Perspective in Theoretical Computer Science — Commemorative Volume for Gift Siromoney, R. Narasimhan (ed.), World Scientific, Singapore (1989) 165–198.

    Google Scholar 

  9. Mukund, M. and Thiagarajan, P. S.: "An Axiomatization of Event Structures", Report IMSc/89/7, The Institute of Mathematical Sciences, Madras, India (1989).

    Google Scholar 

  10. Mukund, M. and Thiagarajan, P. S.: "A More Powerful Axiomatization of Event Structures", Internal Report, The Institute of Mathematical Sciences, Madras, India.

    Google Scholar 

  11. Nielsen, M., Plotkin, G. and Winskel, G.: "Petri Nets, Event Structures and Domains, Part I", Theor. Comput. Sci. 13, 1 (1980) 86–108.

    Google Scholar 

  12. Penczek, W.: "A Temporal Logic for Event Structures", Fundamenta Informaticae, XI (1988) 297–326.

    Google Scholar 

  13. Pinter, S. and Wolper, P.: "A Temporal Logic for Reasoning about Partially Ordered Computations", Proc. 3rd ACM-PODC Symposium, Vancouver, Canada (1984) 28–37.

    Google Scholar 

  14. Winskel, G.: "Event Structure Semantics of CCS and Related Languages", LNCS 140 (1982) 561–576.

    Google Scholar 

  15. Winskel, G.: "Event Structures", LNCS 255 (1987) 325–392.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Institute of Mathematical Sciences, 600 113, Madras, India

    Madhavan Mukund & P. S. Thiagarajan

Authors
  1. Madhavan Mukund
    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

C. E. Veni Madhavan

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mukund, M., Thiagarajan, P.S. (1989). An axiomatization of event structures. In: Veni Madhavan, C.E. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1989. Lecture Notes in Computer Science, vol 405. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52048-1_40

Download citation

  • DOI: https://doi.org/10.1007/3-540-52048-1_40

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52048-1

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation