The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
<|reference_start|>The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions: We give an evolving algebra solution for the well-known railroad crossing problem and use the occasion to experiment with agents that perform instantaneous actions in continuous time and in particular with agents that fire at the moment they are enabled.<|reference_end|>
@article{gurevich1998the,
    title={The Railroad Crossing Problem: An Experiment with Instantaneous Actions
  and Immediate Reactions},
    author={Yuri Gurevich and James K. Huggins},
    journal={Selected papers from CSL'95, ed. H.K. Buening, Springer Lecture
  Notes in Computer Science 1092, 1996, 266--290},
    year={1998},
    archivePrefix={arXiv},
    eprint={cs/9810026},
    primaryClass={cs.SE}
}