Mobile ambients (1998)

by L Cardelli, A Gordon
Venue:Foundations of Software Science and Computation Structures