On Reduction Semantics for the Push and Pull Ambient Calculus (2002)

Cached

Download Links

by Iain Phillips , Maria Grazia Vigliotti
Venue:In Theoretical Computer Science: 2nd IFIP Int’l Conf
Citations:13 - 7 self