TITLE     : Back and forth bisimulations
AUTHOR(S) : De Nicola R, Montanari U, Vaandrager F
TYPE      : Conference article
YEAR      : 1990
CODE      : 452994

*** DO NOT EDIT THIS FILE ***