The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
arXiv:cs/9810026
Abstract
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.
See also the web site at http://www.eecs.umich.edu/gasm/