Home
 

Bisimulation equivalence is decidable for normed Process Algebra

Yoram Hirshfeld and Mark Jerrum

Abstract:

We present a procedure for deciding whether two normed PA terms are bisimilar. The procedure is ``elementary,'' having doubly exponential non-deterministic time complexity.

ECS-LFCS-98-386.

This report is available in the following formats:

Previous | Index | Next