Non-Deterministic Kleene Coalgebras

by Alexandra Silva , Marcello Bonsangue , Jan Rutten
Citations:15 - 4 self