Reduction and Design of Well-behaved Concurrent Systems.

Jrg Desel

Browse the full CONCUR paper archive.