The resistively shunted junction (RSJ) model: phase dynamics equivalent to a damped pendulum. Small oscillations = plasma frequency ω_p. Above critical current: voltage state (AC Josephson effect).
RSJ equation: (ℏ/2eR) φ̈ + (ℏ/2e·1/R) φ̇ + I_c sin(φ) = I_bias + I_ac cos(ωt). For I < I_c: plasma oscillations around locked phase. For I > I_c: running solution = AC Josephson voltage V = ℏω_J/2e. Shapiro steps appear at rational ω/ω_p with AC drive.