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

Yuri Gurevich; Jim K. Huggins

doi:10.1007/3-540-61377-3_43

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

Kettering University

Research output: Contribution to journal › Article › peer-review

Original language	American English
Journal	Computer Science Logic, Selected Papers from CSL'95
Volume	1092
DOIs	https://doi.org/10.1007/3-540-61377-3_43
State	Published - Jan 1 1996

Disciplines

Computer Engineering

Access to Document

10.1007/3-540-61377-3_43License: Unspecified

Cite this

@article{baa8f836e1c143719aefaf334cc97103,

title = "The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions",

author = "Yuri Gurevich and Huggins, {Jim K.}",

note = "Part of the Lecture Notes in Computer Science book series (LNCS, volume 1092) Free Variable Function Symbol Internal Function External Function Instantaneous Action These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.",

year = "1996",

month = jan,

day = "1",

doi = "10.1007/3-540-61377-3_43",

language = "American English",

volume = "1092",

journal = "Computer Science Logic, Selected Papers from CSL'95",

}

TY - JOUR

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

AU - Gurevich, Yuri

AU - Huggins, Jim K.

N1 - Part of the Lecture Notes in Computer Science book series (LNCS, volume 1092) Free Variable Function Symbol Internal Function External Function Instantaneous Action These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

PY - 1996/1/1

Y1 - 1996/1/1

UR - https://link.springer.com/chapter/10.1007/3-540-61377-3_43

U2 - 10.1007/3-540-61377-3_43

DO - 10.1007/3-540-61377-3_43

M3 - Article

VL - 1092

JO - Computer Science Logic, Selected Papers from CSL'95

JF - Computer Science Logic, Selected Papers from CSL'95

ER -

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

Disciplines

Access to Document

Other files and links

Cite this