Turing Meets Milner.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

Browse the full CONCUR paper archive.