2 search results - page 1 / 1 » Highly Undecidable Questions for Process Algebras |
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
121
click to vote
ENTCS
2006
15 years 3 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...