11 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
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…