Typing correspondence assertions for communication protocols (2003)

by Andrew Gordon, Alan Jeffrey
Venue:Theoretical Computer Science