Equational properties of mobile ambients (1999)

by Andrew D. Gordon, Luca Cardelli
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE