Advertisement

An axiomatization of event structures

  • Madhavan Mukund
  • P. S. Thiagarajan
Concurreny
Part of the Lecture Notes in Computer Science book series (LNCS, volume 405)

Keywords

Temporal Logic Event Structure Semantic Relation Axiom System Atomic Proposition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [B1]
    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. [B2]
    Burgess, J. P.: Decidability for Branching Time", Studia Logica XXXIX, 2/3 (1980) 203–218.CrossRefGoogle Scholar
  3. [EH]
    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.CrossRefGoogle Scholar
  4. [HC]
    Hughes, G. E. and Cresswell, M. J.: An Introduction to Modal Logic, Methuen and Co., London (Reprinted in 1982).Google Scholar
  5. [KP]
    Katz, S. and Peled, D.: "Interleaving Set Temporal Logic", Proc. 6th ACM-PODC Symposium, Vancouver, Canada (1987) 178–190.Google Scholar
  6. [LT1]
    Lodaya, K. and Thiagarajan, P. S.: "A Modal Logic for a Subclass of Event Structures", LNCS 267 (1987) 290–303.Google Scholar
  7. [LT2]
    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. [MT1]
    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. [MT2]
    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. [MT3]
    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. [NPW]
    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. [P]
    Penczek, W.: "A Temporal Logic for Event Structures", Fundamenta Informaticae, XI (1988) 297–326.Google Scholar
  13. [PW]
    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. [W1]
    Winskel, G.: "Event Structure Semantics of CCS and Related Languages", LNCS 140 (1982) 561–576.Google Scholar
  15. [W2]
    Winskel, G.: "Event Structures", LNCS 255 (1987) 325–392.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Madhavan Mukund
    • 1
  • P. S. Thiagarajan
    • 1
  1. 1.The Institute of Mathematical SciencesMadrasIndia

Personalised recommendations