Ac Josephson effect