Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.
['Alessandro Fantechi', 'Stefania Gnesi', 'R. Sacchelli']
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.