 | Zohar Manna, Amir Pnueli - 1992 - 447 Seiten
...taken at the same position fc. We say that a computation a is just with respect to a transition T if it is not the case that T is continually enabled beyond some position fc > 0 without being taken beyond fc. We observe that this definition is equivalent to the following:... | |
 | Rudrapatna Shyamasundar - 1992 - 428 Seiten
...transition T, which is considered as taken at all points of right continuity. • Justice: For each T € J, it is not the case that T is continually enabled beyond some point in a but taken at only finitely many positions in a. • Compassion: For each r 6 C, it is not... | |
 | Manfred Broy - 1993 - 432 Seiten
...r-successor of the state ie, si+i 6 T(5i), for some r 6 T. • Justice: For each transition r 6 T, it is not the case that T is continually enabled beyond some position j in a, ie, T is enabled at every position k > j, while T is not taken beyond j. We say that a state 5 is P-accessible... | |
 | Masami Hagiya, John C. Mitchell - 1994 - 910 Seiten
...In this case, we say that the transition r is taken at position j in a . • Justice: For each r £ J , it is not the case that T is continually enabled beyond some position in a but taken at only finitely many positions in cr. • Compassion: For each T € C. it is not the... | |
| |
T, it is not the case that r is continually enabled beyond some position j in a (ie, r is enabled at every position k > j) while r is not taken beyond j. 