Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. - Alessandro Fantechi; Stefania Gnesi; R. Sacchelli (FORTE, 1994)