论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 吉林大学学报(理学版)期刊 \
基于控制流的Mobile Safe Ambients演算的静态分析策略
基于控制流的Mobile Safe Ambients演算的静态分析策略
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上, 通过识别可被激活的移动原语和通讯原语, 计算系统运行的所有动态进程拓扑结构, 并在文法规则中显示地标识约束名字和变量, 使分析结果在α变换下保持不变. 该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.
推荐文章
基于Spi演算的密码协议的控制流分析
Spi演算
认证
并行会话攻击
情景演算及其在工作流引擎中的应用
情景演算
LR
引擎
工作流
工作流模式的π演算形式化
π演算
ECA规则
工作流模式
基于Mobile Agent技术的主动性网络管理策略的研究
网络管理
SNMP(Simple Network Management Protocol)
Mobile agent
策略
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 基于控制流的Mobile Safe Ambients演算的静态分析策略 | ||
| 来源期刊 | 吉林大学学报（理学版） | 学科 | 工学 |
| 关键词 | Mobile Safe Ambients演算 控制流分析 静态分析 | ||
| 年，卷（期） | 2008,（4） | 所属期刊栏目 | 计算机科学 |
| 研究方向 | 页码范围 | 704-710 | |
| 页数 | 7页 | 分类号 | TP311 |
| 字数 | 4051字 | 语种 | 中文 |
| DOI | 10.3321/j.issn:1671-5489.2008.04.027 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (4)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2001(2)
- 参考文献（2）
- 二级参考文献（0）
2002(1)
- 参考文献（1）
- 二级参考文献（0）
2003(1)
- 参考文献（1）
- 二级参考文献（0）
2008(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
Mobile Safe Ambients演算
控制流分析
静态分析
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
吉林大学学报(理学版)
主办单位：
吉林大学
出版周期：
双月刊
ISSN：
1671-5489
CN：
22-1340/O
开本：
大16开
出版地：
长春市南湖大路5372号
邮发代号：
12-19
创刊时间：
1955
语种：
chi
出版文献量（篇）
4812
总下载数（次）
6
总被引数（次）
24333
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
吉林大学学报(理学版)2022
吉林大学学报(理学版)2021
吉林大学学报(理学版)2020
吉林大学学报(理学版)2019
吉林大学学报(理学版)2018
吉林大学学报(理学版)2017
吉林大学学报(理学版)2016
吉林大学学报(理学版)2015
吉林大学学报(理学版)2014
吉林大学学报(理学版)2013
吉林大学学报(理学版)2012
吉林大学学报(理学版)2011
吉林大学学报(理学版)2010
吉林大学学报(理学版)2009
吉林大学学报(理学版)2008
吉林大学学报(理学版)2007
吉林大学学报(理学版)2006
吉林大学学报(理学版)2005
吉林大学学报(理学版)2004
吉林大学学报(理学版)2003
吉林大学学报(理学版)2002
吉林大学学报(理学版)2001
吉林大学学报(理学版)2000
吉林大学学报(理学版)1999
吉林大学学报(理学版)2008年第6期
吉林大学学报(理学版)2008年第5期
吉林大学学报(理学版)2008年第4期
吉林大学学报(理学版)2008年第3期
吉林大学学报(理学版)2008年第2期
吉林大学学报(理学版)2008年第1期
