Verification of Parallel Systems via Decomposition.

Jan Friso Groote, Faron Moller

Browse the full CONCUR paper archive.