11 citations · 11 across the 1 of their papers we have counts for
1 paper
Pedro Baltazar, Dimitris Mostrous, Vasco T. Vasconcelos
Session types capture precise protocol structure in concurrent programming, but do not specify properties of the exchanged values beyond their basic type. Refinement types are a fo…