Report - Characteristic invariants in Hennessy–Milner logic...classes: χ is a (bisimulation) characteristic formula for a process P if satisfaction of χ coincides with being bisimulation

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form