Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Better late than never: a fully-abstract semantics for classical processes. | 0 | 0.34 | 2019 |
| Choreographies, Logically. | 0 | 0.34 | 2018 |
| Classical Higher-Order Processes - (Short Paper). | 0 | 0.34 | 2017 |
| Procedural Choreographic Programming. | 0 | 0.34 | 2017 |