|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
L0 :== T | f_1 ^ f_2 | q f
This logic has the property to characterize bisimulation: two states are
bisimilar iff they satisfy the same formulas in L0.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |