The Tick Formulation for deadlock detection and avoidance in railways traffic control

Veronica Dal Sasso, Leonardo Lamorgese, Carlo Mannino, Andrea Onofri, Paolo Ventura. The Tick Formulation for deadlock detection and avoidance in railways traffic control. JRTPM, 17:100239, 2021. [doi]

Abstract

Abstract is missing.