Equational properties of mobile ambients (1999)

by Andrew D. Gordon , Luca Cardelli
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:57 - 7 self