Weak Bisimulation via Generalized Parameterized Coinduction

POPL 2020

Weak Bisimulation via Generalized Parameterized Coinduction

Sep 17, 2020
|
36 views
Details
Presenter: Yannick Zakowski Presented at CPP'20, colocated with POPL 2020.

Comments
loading...