TITLE : Complete sets of axioms for finite basic LOTOS behavioural equivalences AUTHOR(S) : Boreale M., Inverardi P., Nesi M. TYPE : Journal article YEAR : 1992 CODE : 452952 *** DO NOT EDIT THIS FILE ***