Weak Simplicial Bisimilarity for Polyhedral Models and SLCS

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

Browse the full FORTE paper archive.