125
click to vote
IFIPTCS
2000
15 years 6 months ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...