Home
 

A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes

Yoram Hirshfeld, Mark Jerrum and Faron Moller

Abstract: A polynomial-time algorithm is presented for deciding bisimulation equivalence of so-called Basic Parallel Processes: multisets of elementary processes combined by a commutative parallel-composition operator.

Keywords: Design and analysis of algorithms, Theory of concurrent systems, Formal languages, Process algebra.

LFCS report ECS-LFCS-94-288, April 1994.

Previous | Index | Next