9 citations · 22 across the 11 of their papers we have counts for
1 paper · 1 filter
Ruo Fei Chen, Stephanie Balzer, Bernardo Toninho
\emph{Session types} have proved viable in expressing and verifying the protocols of message-passing systems. While message passing is a dominant concurrency paradigm in practice,…