## 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