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

Decidability of Bisimulation Equivalence for Normed Pushdown Processes

Colin Stirling

Abstract:

We prove that bisimulation equivalence is decidable for normed pushdown processes.

ECS-LFCS-97-352.

This report is available in the following formats:

Previous | Index | Next An error occured whilst processing this directive