TITLE     : Tableau methods to decide strong bisimilarity on LOTOS processes involving pure interleaving and enabling
AUTHOR(S) : Fantechi A, Gnesi S, Sacchelli R
TYPE      : Other
YEAR      : 1994
CODE      : 408932

*** DO NOT EDIT THIS FILE ***