We propose a process algebra model of asynchronous dataflow networks as a semantic foundation for the specification language SDL.
The model, which extends a model of network algebra, is close to the
concepts around which SDL has been set up.
It is able to cover all behavioural aspects of SDL except process
creation.
More abstract models are derived as well.
Electronic version.