19 citations · 45 across the 14 of their papers we have counts for
1 paper · 1 filter
Rumyana Neykova, Nobuko Yoshida
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type…