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

Yuri Gurevich, James K. Huggins. The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. In Hans Kleine B√ľning, editor, Computer Science Logic, 9th International Workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers. Volume 1092 of Lecture Notes in Computer Science, pages 266-290, Springer, 1995.

Abstract

Abstract is missing.