Login / Signup

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

Thomas Wolff
Published in: STACS (1989)
Keyphrases