26 citations · 73 across the 13 of their papers we have counts for
1 paper · 2 filters
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…