railway infrastructure / rail network / reactive systems / All such communications / rail networks / safety-critical systems / railway systems / concurrent systems / given railway infrastructure / real world railway network / security protocols / real-time systems / preliminary solution / communications Σ. / /
Organization
Swansea University / /
Person
Hoang Nga / Dominic Taylor / Simon Chadwick / /
Position
driver / train driver / The process Controller / controller / /
Safety and Line Capacity in Railways – An Approach in Timed CSP Yoshinao Isobe1 , Faron Moller2 , Hoang Nga Nguyen2 , and Markus Roggenbach2, 1