Encoding of parallel program schemata by vector addition systems

André Thayse. Encoding of parallel program schemata by vector addition systems. International Journal of Parallel Programming, 8(3):209-218, 1979. [doi]

Abstract

Abstract is missing.