Login / Signup

A Lean-Congruence Format for EP-Bisimilarity.

Rob van GlabbeekPeter HöfnerWeiyou Wang
Published in: CoRR (2023)
Keyphrases