Skip to main content
SpringerLink
Log in

Propositional linear temporal logic and language homomorphisms

  • Conference paper
  • First Online:
Logical Foundations of Computer Science (LFCS 1994)

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

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. Heinz Jürgen Burkhardt, Peter Ochsenschläger, and Rainer Prinoth. Product nets — a formal description technique for cooperating systems. GMD-Studien 165, Gesellschaft für Mathematik und Datenverarbeitung (GMD), Darmstadt, September 1989.

    Google Scholar 

  2. E. Allen Emerson. Temporal and modal logic. In van Leeuwen [vL90], pages 995–1072.

    Google Scholar 

  3. John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, Mass., first edition, 1979.

    Google Scholar 

  4. Peter Ochsenschläger. Die Produktnetzmaschine — Eine Übersicht. Arbeitspapiere der GMD 505, Gesellschaft für Mathematik und Datenverarbeitung (GMD), Darmstadt, Januar 1991.

    Google Scholar 

  5. Peter Ochsenschläger. Verifikation kooperierender Systeme mittels schlichter Homomorphismen. Arbeitspapiere der GMD 688, Gesellschaft für Mathematik und Datenverarbeitung (GMD), Darmstadt, Oktober 1992.

    Google Scholar 

  6. Wolfgang Thomas. Automata on infinite objects. In van Leeuwen [vL90], pages 133–191.

    Google Scholar 

  7. Jan van Leeuwen, editor. volume B of Handbook of Theoretical Computer Science. Elsevier, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. German National Research Centre for Computer Science GMD, Rheinstrasse 75, D-64295, Darmstadt, Germany

    Ulrich Nitsche

Authors
  1. Ulrich Nitsche
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Anil Nerode Yu. V. Matiyasevich

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nitsche, U. (1994). Propositional linear temporal logic and language homomorphisms. In: Nerode, A., Matiyasevich, Y.V. (eds) Logical Foundations of Computer Science. LFCS 1994. Lecture Notes in Computer Science, vol 813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58140-5_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-58140-5_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58140-6

  • Online ISBN: 978-3-540-48442-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation