×

MWB公司

swMATH ID: 4395
软件作者： 比约恩·维克多（Björn Victor）、法伦·莫勒（Faron Moller）
描述： 移动性工作台-π-微积分的工具。在本文中，我们描述了移动工作台（MWB）的第一个原型版本，这是一个自动化工具，用于操作和分析π演算中描述的移动并发系统（具有不断发展的连接性结构的系统）。该版本MWB的主要功能是检查开放互模拟等效性。我们用移动电话系统切换协议的自动分析示例来说明MWB
主页： http://www.it.uu.se/research/group/mobility/mwb
相关软件： 裴楚丘;棱镜;皮克特;规格;CADP公司;多媒体卡;mCRL2型;西尔万;M-树;BISIMULATOR（双模拟）;SIGREF公司;CAESAR_解决;MRMC公司;Exp.未结;LTSmin公司;APNN-工具箱;fc2工具;TVT电视;并发工作台;Uppaal公司
引用于： 34文件
其他出版物： http://www.it.uu.se/research/group/mobility/publ
全部的 前5名

被70位作者引用

三 罗兰·梅耶
三 若阿希姆·帕罗
2 马修·科林森
2 维克托·科门科
2 大卫·J·派姆。
2 戴维·桑吉奥吉
2 比约恩·维克多
1 艾哈迈德·拉希尔
1 安基永
1 罗伯特·阿马迪奥（Roberto M.Amadio）。
1 阿姆托夫特，托本
1 本杰明·阿齐兹
1 罗西娅·巴多尔
1 杰斯珀·本特森
1 阿尼尔班·巴塔查里亚
1 乔·亚历克西斯·比亚凯维奇
1 约翰·博格斯特罗姆
1 塞巴斯蒂安·布赖斯
1 陈火旺
1 汤姆·乔西亚
1 文森特·达诺斯
1 洛科·德尼古拉
1 雷蒙德·魔鬼队
1 费尔南多·路易斯·多蒂
1 吉安·路易吉，法拉利
1 塞德里克·Fornet
1 高文娟
1 休伯特Garavel
1 丹尼尔·戈拉
1 郭德贵
1 杰夫·汉密尔顿。
1 丹尼尔·赫希科夫
1 罗斯·霍恩
1 雷纳·Hüchting
1 马格努斯·约翰逊。
1 汉娜·克劳代尔
1 马西耶·库特尼
1 吉恩·克里文
1 科西莫·拉内夫
1 弗雷德里克·朗
1 李金焕
1 Lee，Tae-Eog先生
1 莱思，孤独
1 李周军
1 林惠民
1 刘磊
1 乔安娜·马提尼奥
1 拉杜·马特埃斯库
1 布莱恩·莫纳汉
1 乌戈·蒙塔纳里。
1 乌韦·内斯特曼
1 弗莱明·尼尔森
1 弗雷德里克·佩申斯基
1 本杰明·皮尔斯。
1 Ken G.皮尔斯。
1 马可·皮斯托雷
1 罗萨里奥·普格利泽
1 保拉夸格里亚
1 沙赫拉姆·拉希米
1 安托尼奥·拉瓦拉
1 莱拉·里贝罗
1 汉内·里斯·尼尔森
1 格温·萨拉恩
1 蒂姆·斯特拉兹尼
1 法比安·塔里桑
1 本特·汤姆森
1 阿文·费南托（Alwen Fernanto Tiu）
1 埃米利奥·托斯托
1 王冰山
1 张瑞
全部的 前5名

16篇连载文章中引用

三 理论计算机科学
三 计算机科学中的逻辑方法
2 计算的形式方面
2 逻辑与代数程序设计杂志
1 信息学报
1 信息科学
1 计算机程序设计科学
1 计算机科学与技术杂志
1 信息与计算
1 自动推理杂志
1 运筹学年鉴
1 逻辑与计算杂志
1 骨髓间充质干细胞。计算机科学中的数学结构
1 中国科学。E系列
1 美国医学会杂志
1 多代理和网格系统

在5个字段中引用

34 计算机科学（68至XX）
5 数学逻辑和基础（03-XX）
2 信息与通信理论、电路（94-XX）
1 运筹学、数学规划（90-XX）
1 系统论；控制（93至XX）

按年份列出的引文