文件名称:A-Denotational-Semantic-Description
介绍说明--下载内容均来自于网络,请自行研究使用
Ambient演算的一种分层语义,网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.-Since computation under network involves variants,complicated information and behaviors,it is difficult to give denotational semantic descr iption for computing under fretwork.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
A Denotational Semantic Description.pdf