11 citations · 13 across the 3 of their papers we have counts for
3 papers
cs.LO2018★ 1 cited
Affine Sessions
Dimitris Mostrous, Vasco T. Vasconcelos
Session types describe the structure of communications implemented by channels. In particular, they prescribe the sequence of communications, whether they are input or output actio…
cs.LO2014★ 1 cited
Multiparty Sessions based on Proof Nets
Dimitris Mostrous
We interpret Linear Logic Proof Nets in a term language based on Solos calculus. The system includes a synchronisation mechanism, obtained by a conservative extension of the logic,…
cs.LO2012★ 11 cited
Linearly Refined Session Types
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…