小模型性相关论文
在形式化方法研究领域,各种自动机、进程代数系统以及逻辑语言是最常见的用于建模和分析的数学工具。时间自动机、加权自动机和加......
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量......
