Typing correspondence assertions for communication protocols (2001)

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