Concurrent semantics for structured design methods /
Nixon, P.(Patrick)
Shi, Lihua.
Trinity College (Dublin, Ireland).Department of Computer Science.
Dublin : Trinity College Dublin, Dept. of Computer Science,
[1996]
Includes bibliography
Real-time data processing.
Parallel processing (Electronic computers)
Electronic data processing