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