INVESTIGADORES
JASKELIOFF Mauro Javier
congresos y reuniones científicas
Título:
Guarded Recursion and Mathematical Operational Semantics
Autor/es:
MAURO JASKELIOFF; NEIL GHANI
Lugar:
Budapest
Reunión:
Workshop; Coalgebraic Methods in Computer Science; 2008
Resumen:
We show how to add recursively defined operations to an structural operational semantics using the distributive law approach of Turi which results in bisimulation as a congruence. Tantalizingly, this shows that recursive programs are a reflection in syntax of operationally defined infinitary behaviour.
