Design methods for digital systems. Part 1: Concurrency constructs

Control structures are described to enable the system designer to specify concurrency at the design level by means of programming language or graphical constructs. The structures are designed to obey the rules of structured programming so that the resultant design will be easy to test, modify and understand.