Login / Signup
The Tick Formulation for deadlock detection and avoidance in railways traffic control.
Veronica Dal Sasso
Leonardo Lamorgese
Carlo Mannino
Andrea Onofri
Paolo Ventura
Published in:
J. Rail Transp. Plan. Manag. (2021)
Keyphrases
</>
traffic control
deadlock detection
distributed database systems
distributed systems
manufacturing systems
communication protocol
network management
network flow
computer networks
database systems
traffic light
inter organizational workflow
database management systems
mobile agents
distributed databases