Title of article

Impossible futures and determinism

Author/Authors

Marc Voorhoeve، نويسنده , , Sjouke Mauw، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2001

Pages

8

From page

51

To page

58

Keywords

concurrency , Verification , Branching-linear spectrum

Journal title

Information Processing Letters

Serial Year

2001

Journal title

Information Processing Letters

Record number

129395