Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Session types and subtyping for orchestrated interactions. | 0 | 0.34 | 2019 |
| Mailbox Types for Unordered Interactions. | 1 | 0.36 | 2018 |
| Retractability, games and orchestrators for session contracts. | 2 | 0.37 | 2017 |
| The approximation theorem for the Λμ-calculus. | 2 | 0.39 | 2017 |