@inproceedings{ae8e2d4eca954049b1ea301f3c005a73,
title = "A layered semantics for mobile computation",
abstract = "Since mobile computation involves variants information and different behaviors, it is very complicated in mobile computation systems. In order to analysis mobile computation and understand the essential of mobile computing, in the paper we develop a denotational semantics for mobile computation. Here we take CLAIM, a computational language for autonomous, intelligent and mobile agents, as our object language because it characterizes the essential ingredients in mobile computation. After abstracting the syntax construction of CLAIM, we give its semantics description. This is achieved by structuring the semantics in layers working at three different levels: internal ambient, ambients and programs based on the basic concept: ambient. For each of these three levels, their semantics are defined in detail as well as the relationship between levels. Through our approach, we can also obtain an explicit model of behaviors in mobile computation.",
author = "Jianghua Lv and Shilong Ma and Jing Pan and Li Ma",
year = "2006",
doi = "10.1007/11802372\_19",
language = "英语",
isbn = "3540367071",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "175--186",
booktitle = "Agent Computing and Multi-Agent Systems",
address = "德国",
note = "9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006 ; Conference date: 07-08-2006 Through 08-08-2006",
}