Quantum behavior of underdamped Josephson devices