ALGEBRA; SEMANTICS; MATHEMATICAL MODELS; COMPUTERIZED SIMULATION; CODING; SYNTAX; TURING MACHINES; CONCURRENT PROCESSING; STEP FUNCTIONS;
机译:使用过程代数运算符扩展状态图
机译:使用过程代数运算符扩展状态图
机译:通过状态图DNA管理状态图和对象行为
机译:通过进程代数的StateCharts
机译:关系代数工具包:一种用户友好的方法,用于在网络上呈现和处理关系代数查询。
机译:非相对论量子力学过程代数模型的信息本体论
机译:通过过程代数的状态图
机译:statecharts Via process algebra