The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions.

Yuri Gurevich, James K. Huggins

Browse the full CSL paper archive.