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

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