Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)

Petr Jancar.
Burkart, Caucal, Steffen (1995) showed a procedure deciding bisimulation equivalence of processes in Basic Process Algebra (BPA), i.e. of sequential processes generated by context-free grammars. They improved the previous decidability result of Christensen, H\"uttel, Stirling (1992), since their&nbsp;[&hellip;]
Published on March 13, 2013
Volume 9, Issue 1
  • < Previous
  • 1
  • Next >