Communicating Visibly Pushdown Processes

by Stefan D. Bruda and Md. Tawhid Bin Waez, in Proceedings of the 17th International Conference on Control Systems and Computer Science, 26-29 May 2009, Bucharest, Romania. A preliminary version is available.