Open bisimulation for aspects