TITLE     : Three logics for branching bisimulation
AUTHOR(S) : De Nicola R, Vaandrager F
TYPE      : Conference article
YEAR      : 1990
CODE      : 453606

*** DO NOT EDIT THIS FILE ***