Implementation of a Transition Sematics for Parallel Programs with Shared Variables.

Thomas Wolff

Browse the full STACS paper archive.