14 citations
1 paper
M. Sakthi Balan
We consider parallel communicating pushdown automata systems (PCPA) and define a property called known communication for it. We use this property to prove that the power of a varia…