35 citations · 41 across the 5 of their papers we have counts for
1 paper · 1 filter
Tzu-chun Chen
Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will ne…