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.
Previous | Index | Next An error occured whilst processing this directive