Non-strongly Stable Orders Also Define Interesting Simulation Relations.
Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino
Browse the full CALCO paper archive.
Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino
Browse the full CALCO paper archive.