Antonio Yuste-Ginel

A meta-modal logic for bisimulations

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