Fernando Soler-Toscano

A meta-modal logic for bisimulations

by Alfredo Burrieza, Fernando Soler-Toscano and Antonio Yuste-Ginel