Open Bisimulation for Aspects.

Published in: LNCS Trans. Aspect Oriented Softw. Dev. (2009)