Search Sciweavers | Sciweavers

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...

Cédric Fournet, Jean-Jacques Lévy, A...

claim paper

Read More »

11

click to vote

IFIPTCS
2000

129views Theoretical Computer Science» more IFIPTCS 2000»

List Decoding: Algorithms and Applications

13 years 8 months ago

Download people.csail.mit.edu

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...

Madhu Sudan

claim paper

Read More »

13

click to vote

IFIPTCS
2000

121views Theoretical Computer Science» more IFIPTCS 2000»

Ambient Groups and Mobility Types

13 years 8 months ago

Download www.di.unipi.it

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...

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers