Typing correspondence assertions for communication protocols (0)

by A D Gordon, A Jeffrey
Venue:Theoretical Computer Science