Temporal reasoning under generalized fairness constraints

Extended abstract
  • E. Allen Emerson
  • Chin-Laung Lei
Contributed Papers

DOI: 10.1007/3-540-16078-7_62

Part of the Lecture Notes in Computer Science book series (LNCS, volume 210)
Cite this paper as:
Allen Emerson E., Lei CL. (1986) Temporal reasoning under generalized fairness constraints. In: Monien B., Vidal-Naquet G. (eds) STACS 86. STACS 1986. Lecture Notes in Computer Science, vol 210. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1986

Authors and Affiliations

  • E. Allen Emerson
    • 1
  • Chin-Laung Lei
    • 1
  1. 1.Department of Computer SciencesUniversity of Texas at AustinAustinU.S.A.

Personalised recommendations