| Towards refinable choreographies | 0 | 0.34 | 2022 |
| An abstract framework for choreographic testing | 0 | 0.34 | 2021 |
| Composition and decomposition of multiparty sessions | 0 | 0.34 | 2021 |
| Pomcho: Atool Chain For Choreographic Design | 0 | 0.34 | 2021 |
| Probabilistic Analysis of Binary Sessions | 0 | 0.34 | 2020 |
| On Resolving Non-determinism in Choreographies. | 0 | 0.34 | 2020 |
| Choreographic Development of Message-Passing Applications - A Tutorial. | 0 | 0.34 | 2020 |
| A Choreography-Driven Approach to APIs - The OpenDXL Case Study. | 0 | 0.34 | 2020 |
| Data-Driven Choreographies à la Klaim. | 0 | 0.34 | 2019 |
| On Resolving Non-determinism in Choreographies. | 0 | 0.34 | 2019 |
| Realisability of pomsets. | 0 | 0.34 | 2019 |
| Reversible Choreographies Via Monitoring In Erlang | 0 | 0.34 | 2018 |
| Realisability of Pomsets via Communicating Automata. | 0 | 0.34 | 2018 |
| Semantics of global view of choreographies. | 2 | 0.41 | 2018 |
| Reliability And Fault-Tolerance By Choreographic Design | 0 | 0.34 | 2017 |
| Choreographies for Automatic Recovery. | 0 | 0.34 | 2017 |
| Choreography-Based Analysis of Distributed Message Passing Programs | 1 | 0.34 | 2016 |
| Playing with Our CAT and Communication-Centric Applications. | 4 | 0.48 | 2016 |
| HONESTY BY TYPING | 0 | 0.34 | 2016 |
| Foundations of Session Types and Behavioural Contracts. | 10 | 0.57 | 2016 |
| An Abstract Semantics Of The Global View Of Choreographies | 2 | 0.38 | 2016 |
| Relating two automata-based models of orchestration and choreography. | 7 | 0.62 | 2016 |
| On Sessions and Infinite Data. | 0 | 0.34 | 2016 |
| Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. | 6 | 0.68 | 2015 |
| From Communicating Machines to Graphical Choreographies | 33 | 0.98 | 2015 |
| Attribute-based transactions in service oriented computing. | 0 | 0.34 | 2015 |
| Communicating Machines As A Dynamic Binding Mechanism Of Services | 0 | 0.34 | 2015 |
| A design-by-contract approach to recover the architectural style from run-time misbehaviour. | 1 | 0.35 | 2015 |
| Resolving Non-determinism in Choreographies. | 1 | 0.34 | 2014 |
| Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract. | 0 | 0.34 | 2013 |
| On Recovering From Run-Time Misbehaviour In Adr | 1 | 0.35 | 2013 |
| Honesty by Typing | 14 | 0.65 | 2012 |
| A characterisation of languages on infinite alphabets with nominal regular expressions | 2 | 0.40 | 2012 |
| Three Algorithms And A Methodology For Amending Contracts For Choreographies | 0 | 0.34 | 2012 |
| Synthesising Choreographies from Local Session Types (extended version) | 1 | 0.40 | 2012 |
| Contract-Oriented Services. | 0 | 0.34 | 2012 |
| Synthesising choreographies from local session types | 19 | 0.72 | 2012 |
| On the realizability of contracts in dishonest systems | 17 | 0.80 | 2012 |
| Enforcing Architectural Styles In Presence Of Unexpected Distributed Reconfigurations | 4 | 0.43 | 2012 |
| Contract-Oriented Computing In Co2 | 0 | 0.34 | 2012 |
| On nominal regular languages with binders | 13 | 0.65 | 2012 |
| Towards Nominal Formal Languages | 1 | 0.36 | 2011 |
| Architectural Models of Ambient-PRISMA in Channel Ambient Calculus | 0 | 0.34 | 2011 |
| Contracts In Distributed Systems | 8 | 0.54 | 2011 |
| Amending Contracts For Choreographies | 3 | 0.41 | 2011 |
| Testing attribute-based transactions in SOC | 3 | 0.41 | 2010 |
| A Modular Toolkit For Distributed Interactions | 2 | 0.42 | 2010 |
| A java inspired semantics for transactions in SOC | 6 | 0.55 | 2010 |
| Toward a Formal Semantics for Autonomic Components | 2 | 0.38 | 2010 |
| Refactoring long running transactions: a case study | 1 | 0.35 | 2010 |
