状态迁移系统相关论文
基于左右语言的优化是完全基于自动机理论的优化方法。所谓左语言是指从初始状态到指定状态的语言，而右语言是指从指定状态到接受状......
针对不包含循环的web服务，提出了一种自动组合的形式化方法。由于web服务行为具有异步性的特点，而状态迁移系统能够恰当地描述这种异......
