Keywords
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
Burgess, J. P.: Decidability for Branching Time", Studia Logica XXXIX, 2/3 (1980) 203–218.
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.
Hughes, G. E. and Cresswell, M. J.: An Introduction to Modal Logic, Methuen and Co., London (Reprinted in 1982).
Katz, S. and Peled, D.: "Interleaving Set Temporal Logic", Proc. 6th ACM-PODC Symposium, Vancouver, Canada (1987) 178–190.
Lodaya, K. and Thiagarajan, P. S.: "A Modal Logic for a Subclass of Event Structures", LNCS 267 (1987) 290–303.
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).
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.
Mukund, M. and Thiagarajan, P. S.: "An Axiomatization of Event Structures", Report IMSc/89/7, The Institute of Mathematical Sciences, Madras, India (1989).
Mukund, M. and Thiagarajan, P. S.: "A More Powerful Axiomatization of Event Structures", Internal Report, The Institute of Mathematical Sciences, Madras, India.
Nielsen, M., Plotkin, G. and Winskel, G.: "Petri Nets, Event Structures and Domains, Part I", Theor. Comput. Sci. 13, 1 (1980) 86–108.
Penczek, W.: "A Temporal Logic for Event Structures", Fundamenta Informaticae, XI (1988) 297–326.
Pinter, S. and Wolper, P.: "A Temporal Logic for Reasoning about Partially Ordered Computations", Proc. 3rd ACM-PODC Symposium, Vancouver, Canada (1984) 28–37.
Winskel, G.: "Event Structure Semantics of CCS and Related Languages", LNCS 140 (1982) 561–576.
Winskel, G.: "Event Structures", LNCS 255 (1987) 325–392.
Author information
Authors and Affiliations
Editor information
Rights 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