A decidability result for a second order process logic - Parikh, Rohit (Mass. Inst. of Technology, Laboratory for Computer Science, 1978)