Formal Description Techniques VI (Proceedings of
FORTE'93), pp.
171-186, 1994
Published in
Efficient implementation of communication
software is of critical importance for high-speed networks.
Parallelism can improve the runtime performance of
implementations gained by code generation. Therefore, we have
modified an existing Estelle compiler to run under OSF/1. It
exploits parallelism not only in the actions of the FSMs, but
also in the runtime system of the protocol stack.
