Sciweavers

CONCUR
2003
Springer
13 years 10 months ago
Deciding Bisimilarity between BPA and BPP Processes
We identify a necessary condition for when a given BPP process can be expressed as a BPA process. We provide an effective procedure for testing if this condition holds of a given B...
Petr Jancar, Antonín Kucera, Faron Moller