A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.

Eric Goubault, Emmanuel Haucourt

Browse the full CONCUR paper archive.