Using ambient in computational reflection semantics description

Abstract

With the development of wide-area network, distribution and mobility have become the main character of computation. Similarly, reflection systems are mostly like to implement under this environments, as a result how to describe reflection semantics in distributed and mobile environment is necessary indeed to understand and automatically generate reflection mechanism. We give a new semantics description for distributed computational reflection system in ambient calculus and also we give the proof to verify our approach. © Springer-Verlag Berlin Heidelberg 2005.