Skip to main content
SpringerLink
Log in

Decidability of a partial order based temporal logic

  • Conference paper
  • First Online:
Automata, Languages and Programming (ICALP 1993)

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

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.

References

  1. K.R. Apt: Ten years of Hoare logic: a survey — Part I, ACM Trans. Prog. Lang. Syst. 3, 4 (1981) 431–483.

    Google Scholar 

  2. J.P. Burgess: Decidability for branching time, Studia Logica XXXIX (1980) 203–218.

    Google Scholar 

  3. K.M. Chandy, J. Misra: Parallel program design: a foundation (Addison-Wesley, 1988).

    Google Scholar 

  4. E.A. Emerson: Temporal and modal logic, in J. van Leeuwen (ed.): Handbook of theoretical computer science B (Elsevier, 1990) 995–1072.

    Google Scholar 

  5. G.E. Hughes, M.J. Creswell: A companion to modal logic (Methuen, 1982).

    Google Scholar 

  6. D. Harel: Dynamic logic, in D. Gabbay, F. Guenthner (eds.): Handbook of philosophical logic II (Reidel, 1984) 497–604.

    Google Scholar 

  7. L. Lamport: Time, clocks and the ordering of events in a distributed system, Commun. ACM 21, 7 (Jul 1978) 558–565.

    Google Scholar 

  8. K. Lodaya, M. Mukund, R. Ramanujam, P.S. Thiagarajan: Models and logics for true concurrency, Sādhanā 17, Part 1 (Indian Academy of Sciences, Mar 1992) 131–165.

    Google Scholar 

  9. K. Lodaya, R. Ramanujam: Tense logics for local reasoning in distributed systems, Proc. 11th FST & TCS, LNCS 560 (1991) 71–88.

    Google Scholar 

  10. K. Lodaya, R. Ramanujam, P.S. Thiagarajan: Temporal logics for communicating sequential agents: I, Int. J. Found. Comput. Sci. 3, 2 (1992) 117–159.

    Google Scholar 

  11. M. Mukund, P.S. Thiagarajan: A Petri net model of asynchronously communicating sequential processes, in R. Narasimhan (ed.): A perspective in theoretical computer science — commemorative volume for Gift Siromoney (World Scientific, 1989) 165–198.

    Google Scholar 

  12. M. Nielsen, G. Plotkin, G. Winskel: Petri nets, event structures and domains I, Theoret. Comput. Sci. 13 (1980) 86–108.

    Google Scholar 

  13. W. Penczek: A temporal logic for event structures, Fund. Inform. XI (1988) 297–326.

    Google Scholar 

  14. S. Pinter, P. Wolper: A temporal logic lor reasoning about partially ordered computations, Proc. 3rd ACM PODC (1984) 28–37.

    Google Scholar 

  15. M.O. Rabin: Decidability of second order theories and automata on infinite trees, Trans. Amer. Math. Soc. 141 (1969) 1–35.

    Google Scholar 

  16. C. Stirling: Temporal logics for CCS, Proc. REX 88, LNCS 354 (1989) 660–672.

    Google Scholar 

  17. M. Vardi, P. Wolper: Automata theoretic techniques for modal logics of programs, J. Comput. Syst. Sci. 32, 2 (1986) 183–221.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Kamal Lodaya & R. Ramanujam

  2. School of Mathematics, SPIC Science Foundation, 92 G.N. Chetty Road, 600 017, T. Nagar, Madras, India

    P. S. Thiagarajan

Authors
  1. Kamal Lodaya
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Ramanujam
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. P. S. Thiagarajan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrzej Lingas Rolf Karlsson Svante Carlsson

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lodaya, K., Ramanujam, R., Thiagarajan, P.S. (1993). Decidability of a partial order based temporal logic. In: Lingas, A., Karlsson, R., Carlsson, S. (eds) Automata, Languages and Programming. ICALP 1993. Lecture Notes in Computer Science, vol 700. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56939-1_104

Download citation

  • DOI: https://doi.org/10.1007/3-540-56939-1_104

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56939-8

  • Online ISBN: 978-3-540-47826-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation