Design methods for digital systems. Part 1: Concurrency constructs
R.D. Dowsing, E.L. Dagless
Abstract
R.D. Dowsing, E.L. Dagless
Abstract
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.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Computer science, Concurrency, Programming language, Concurrent object-oriented programming, Concurrency control, Programming paradigm, Programming domain, Inductive programming