Interstellar scintillation velocities of the relativistic binary PSR B1534+12 and three other millisecond pulsars

We present interstellar scintillation (ISS) velocity measurements for four millisecond pulsars, obtained from long-term monitoring observations with the Arecibo radio telescope at 430 MHz. We also derive explicit expressions, valid for a thin scattering screen, that relate the measured scintillation velocity to the effective transverse velocity responsible for the motion of the diffraction pattern for both binary and solitary pulsars. For PSR B1257+ 12, PSR B1534+ 12, PSR J1640+ 2224, and PSR J1713+ 0747 we derive ISS velocity estimates of 197 +/- 57, 192 +/- 63, 38 +/- 8, and 82 +/- 16 km s(-1), respectively. These values are in good agreement with proper-motion measurements for the four pulsars. For the relativistic binary pulsar PSR B1534+ 12, we use the ISS velocity dependence on orbital phase to determine the longitude of the ascending node Omega of the pulsar's orbit and to derive an estimate of the effective scattering screen location. The two possible values of are 70degrees +/- 20degrees and 290degrees +/- degrees20, and the approximate screen location is 630 +/- 200 pc, with the assumed pulsar distance of 1.1 kpc.