Liveness

Segala, Gawlick, Sogaard-Andersen and Lynch have incorporated general notions of liveness into both untimed automata and timed automata. See our page on timed automata for a discussion of these models. The difficult part of this work is ensuring that the notions of liveness are compositional.

A preliminary conference version of the work appears in ICALP94. The first complete version, with all proofs, appears in a Technical Report. A later version was submitted for journal publication. This later version represents a considerable simplification and reduction in length over the previous TR version.

TOC / LCS / MIT
Last modified: Thu Nov 6 16:04:07 1997 		Comments?