The Channel Ambient Machine


Previous work describes how the Channel Ambient calculus can be used as a high-level formalism for specifying and verifying mobile applications. This paper defines a distributed abstract machine for the calculus, known as the Channel Ambient Machine. The abstract machine bridges a gap between specification and implementation by formally describing how a… (More)


6 Figures and Tables

Slides referencing similar topics