Parameterized Bisimulation Infinite Evolution Mechanism.

Yanfang Ma, Min Zhang, Yixiang Chen

Browse the full TASE paper archive.