Diversity and convergence analysis of membrane algorithms | IEEE Conference Publication | IEEE Xplore