Skip to main content
SpringerLink
Log in

Decidability in pratt's process logics

  • Contributed Papers
  • Conference paper
  • First Online:
Mathematical Methods of Specification and Synthesis of Software Systems '85 (MMSSS 1985)

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

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. Chandra, A., J. Lalpern, A. Meyer and R. Parikh: "Equations between regular terms and an application to Process Logic", STOC'81, 384–390.

    Google Scholar 

  2. Fischer, M. J. and R. E. Ladner: "Propositional Dynamic Logic of regular programs", JCSS 18(2), 194–211.

    Google Scholar 

  3. Habasiński, Z.: "Process Logic: two decidability results", LNCS 176, 282–290.

    Google Scholar 

  4. Harel, D.: "Two results on Process Logic", Inf. Processing Letters, 8(4), 195–198.

    Google Scholar 

  5. Harel, D., D. Kozen and R. Parikh: "Process Logic: expressiveness, decidability, completeness", JCSS 25, 144–170.

    Google Scholar 

  6. Pratt, V. R.: "Process Logic: preliminary report", POPL'79, 93–100.

    Google Scholar 

  7. Sherman, R., A. Pnueli and D. Harel: "Is the interesting part of Process Logic uninteresting?", Rep. of Weizmann Inst. of Sci. Rehovot.

    Google Scholar 

  8. Street, R. S.: "Propositional Dynamic Logic of Looping and Converse", STOC'81, 375–381.

    Google Scholar 

  9. Wolper, P. L.: "Synthesis of the Communicating Processes from Temporal Logic specifications", Rep. of Dep. Comp. Sci., Stanford.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Centre, Technical University, Pl. Skłodowskiej-Curie 5, 60-965, Poznań, Poland

    Z. Habasiński

  2. Mathematical Institute of PAS, Poznań

    Z. Habasiński

Authors
  1. Z. Habasiński
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wolfgang Bibel Klaus P. Jantke

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Habasiński, Z. (1986). Decidability in pratt's process logics. In: Bibel, W., Jantke, K.P. (eds) Mathematical Methods of Specification and Synthesis of Software Systems '85. MMSSS 1985. Lecture Notes in Computer Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16444-8_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-16444-8_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16444-9

  • Online ISBN: 978-3-540-39784-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation