Typing correspondence assertions for communication protocols (2001)

by Andrew D. Gordon
Venue:Theoretical Computer Science
Citations:58 - 10 self