4 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan de Muijnck-Hughes, Edwin Brady, Wim Vanderbauwhede
Session Types offer a typing discipline that allows protocol specifications to be used during type-checking, ensuring that implementations adhere to a given specification. When loo…