Statistics of A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

Contact ORBilu