Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.

Alessandro Fantechi, Stefania Gnesi, R. Sacchelli

Browse the full FORTE paper archive.