Open Bisimilarity for the π-Calculus with Mismatch.

Tiange Liu, Alwen Tiu, Ross Horne

Browse the full CONCUR paper archive.