CoCASL at Work -- Modelling Process Algebra
CoCASL at Work -- Modelling Process Algebra
复制标题
CoCASL 实际应用——建模过程代数
DOI：
10.1016/s1571-0661(04)80640-6
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
Lutz Schröder
中科院分区：
文献类型：
--
作者：
Till Mossakowski;Markus Roggenbach;Lutz Schröder
登录
查看更多内容
CoCasl 中的代数-代数规范
DOI：
10.1016/j.jlap.2005.09.006
发表时间：
2003
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Till Mossakowski;Horst Reichel;Markus Roggenbach;Lutz Schröder
通讯作者：
Lutz Schröder
CASL-CHART：状态图和代数规范语言 CASL 的组合
DOI：
10.1007/3-540-45499-3_19
发表时间：
2000
期刊：
J. Log. Comput.
影响因子：
--
作者：
G. Reggio;L. Repetto
通讯作者：
L. Repetto
在工作中打开地图
影响因子：
4.4
作者：
A. Cheng;M. Nielsen
通讯作者：
M. Nielsen
用模态逻辑指定余代数
DOI：
--
发表时间：
1998
期刊：
International Workshop on Coalgebraic Methods in Computer Science
影响因子：
--
作者：
A. Kurz
通讯作者：
A. Kurz
DOI：
10.1016/s0304-3975(96)80710-9
发表时间：
1996
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
V. Sassone;M. Nielsen;G. Winskel
通讯作者：
G. Winskel