Relationally staged computation in calculi of mobile processes (0)

by N Ghani, K Yemane, B Victor
Venue:In Adamek [1