Refinement-based Semantics of Parallel Procedures.

Hanna Klaudel, Robert-C. Riemann

Browse the full PDPTA paper archive.