在形式化方法研究领域,各种自动机、进程代数系统以及逻辑语言是最常见的用于建模和分析的数学工具。时间自动机、加权自动机和加......

并发加权μ-演算(concurrent weightedμ-calculus,CWC)是对Kim.G.Larsen所提出的并发加权逻辑的强有力的扩充,通过加入不动点算子......

最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量......