Stepwise Refinement of Action Systems.

Ralph-Johan Back, Kaisa Sere

Browse the full MPC paper archive.