31 citations · 56 across the 19 of their papers we have counts for
1 paper · 2 filters
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-…