Relationally staged computations in calculi of mobile processes (0)

by Neil Ghani, Kidane Yemane, Björn Victor
Venue:Elect. Notes in Theor. Comp. Sci