摇摆
发表于 2025-4-1 04:02:58
Model checking of macro processes,se decision procedures handle correctly also process systems which are defined by unguarded recursion. As expected, the worst case complexity depends on the highest type level in the process description, and it is .-exponential in the size of the formula for a system description with type level ..