[an error occurred while processing this directive]An error occured whilst processing this directive

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 An error occured whilst processing this directive