Login / Signup

On Path-Based Coalgebras and Weak Notions of Bisimulation.

Harsh BeoharSebastian Küpper
Published in: CALCO (2017)
Keyphrases