Computations and Interaction.

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

Browse the full ICDCIT paper archive.