You could look at the blink without delay example to give you ideas of how to monitor all three pins "simultaneously".
Is there any documentation for pulseIn anywhere?
Not only is there documentation, but you can look at the source if you want.
It's in "wiring_pulse.c"