From mathematical specifications to parallel programs on a message-based system.

Thomas Ruppelt, Guido Wirtz

Browse the full ICS paper archive.