Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Computation Tree Logic with Deadlock Detection

Rob van Glabbeek ; Bas Luttik ; Nikola Trcka.
We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This relation is obtained by De Nicola & Vaandrager by translating labelled transition systems to Kripke structures, while&nbsp;[&hellip;]
Published on December 22, 2009
Volume 5, Issue 4
  • < Previous
  • 1
  • Next >