2001a) Typing correspondence assertions for communication protocols (0)

by A D Gordon, A Jeffrey
Venue:Electronic Notes in Theoretical Computer Science (ENTCS