Back to Results
First PageMeta Content
Railway signalling / Communicating sequential processes / Concurrent computing / Process calculi / Interlocking / Railroad switch / Transport / Land transport / Rail transport


JID:SCICO AID:1752 /FLA [m3G; v 1.132; Prn:[removed]; 15:03] P[removed]Science of Computer Programming ••• (••••) •••–•••
Add to Reading List

Document Date: 2014-05-19 08:04:36

Open Document

File Size: 1,08 MB

Share Result on Facebook

Company

A F AG AG / P 1 A B P 2 / AA AB / P 1 P 2 / Invensys / CSP B / Elsevier B.V. / /

Country

United Kingdom / Wales / /

Currency

pence / /

Facility

UK University of Surrey / /

IndustryTerm

rail network / synchronous parallel operator / railway control software / assumption that track equipment / railway systems / physical systems / alphabetized parallel operator / /

Organization

University of Surrey / Swansea University / IN IF / /

Person

Hoang Nga Nguyen / Helen Treharne / Steve Schneider / Phillip James / /

Position

driver / working engineer / controller / Corresponding author / signalling engineer / /

ProvinceOrState

Alberta / British Columbia / /

Technology

dom / /

URL

www.elsevier.com/locate/scico / http /

SocialTag