10 search results - page 1 / 2 » ifiptcs 2000 |
IFIPTCS
2000
13 years 11 months ago
2000
IFIPTCS
2000
13 years 11 months ago
2000
IFIPTCS
2000
13 years 11 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...
IFIPTCS
2000
13 years 11 months ago
2000
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...
IFIPTCS
2000
13 years 11 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...