Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach.

Wil Janssen, Mannes Poel, Job Zwiers

Browse the full CONCUR paper archive.