On the bisimulation proof method
págs. 447-479
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
JAN RUTTEN , DANIELE TURI
págs. 481-540
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: