On Bisimilarity for Polyhedral Models and SLCS.

Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink

Browse the full FORTE paper archive.