ntccSim卡

ntccSim:一个定时并发进程的仿真工具。ntccSim是avisa研究组用并发约束编程(CCP)语言Mozart Oz开发的一个仿真工具,目的是在Frank Valencia博士提出的一种定时CPP过程演算ntcc中运行程序规范。ntccSim允许模拟基本ntcc构造的操作行为,以及声明过程和递归过程定义。该工具的一个重要特性是可以在同一个模型中包含多个约束系统。例如,有限域上的约束(FD)和实区间(XRI)被用来实现一些基于约束的生物系统计算模型。在当前版本的ntccSim中,仅支持这两个约束系统。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. Mauricio Toro,Camilo Rueda,Carlos Agón,Gérard Assaag:Gelisp:代表音乐CSP和搜索策略的库(2015)阿尔十四