Volker Birk
Generating p≡p Sync protocol stack is an example application of software generation in practice. This lecture gives an introduction what is needed to generate network protocol stacks instead of implementing them hand-written.
