Session types are a type-based approach to the verification of
message-p...
Static analyses based on typestates are important in certifying correctn...
Session types enable the static verification of message-passing programs...
Session types are a type-based approach to the verification of
message-p...