Two Fully Abstract Models for UNITY.

Rob T. Udink, Joost N. Kok

Browse the full CONCUR paper archive.