Title of article

Applicability of fair simulation

Author/Authors

Doron Bustan، نويسنده , , Orna Grumberg، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2004

Pages

18

From page

1

To page

18

Keywords

Fair simulation , Assume-guarantee , Minimization , Branching time logics , Preorder

Journal title

Information and Computation

Serial Year

2004

Journal title

Information and Computation

Record number

262253