Home
 

Translating CTL* into the modal mu-calculus

Mads Dam

Abstract: We give a direct translation of the branching-time temporal logic CTL* into the modal mu-calculus.

LFCS report ECS-LFCS-90-123

Previous | Index | Next