Functional Choreographic Programming | 0 | 0.34 | 2022 |
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices | 0 | 0.34 | 2021 |
Formalising a Turing-Complete Choreographic Language in Coq | 0 | 0.34 | 2021 |
Multiparty Languages - The Choreographic and Multitier Cases (Pearl). | 0 | 0.34 | 2021 |
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework. | 0 | 0.34 | 2020 |
Classical Transitions. | 0 | 0.34 | 2018 |
On the trade-off between labels and weights in quantitative bisimulation. | 0 | 0.34 | 2017 |
A CSP implementation of the bigraph embedding problem. | 2 | 0.41 | 2014 |