On reduction semantics for the Push and Pull Ambient Calculus

by Iain Phillips , Maria Grazia Vigliotti
Venue:In Proceedings of IFIP TCS 2002
Citations:16 - 9 self