并发加权μ-演算的若干性质

并发加权μ-演算的若干性质

余寒

Some properties of concurrent weighted μ-calculus

YU Han

计算机科学与探索 . 2018, (10): 1684 -1690 . DOI: 10.3778/j.issn.1673-9418.1709100