Kozyura, Vitaly and Roth, Andreas and Wei, Wei  (2009) Local Enforceability and Inconsumable Messages in Choreography Models.  In: Proceedings of 4th South-East European Workshop on Formal Methods (SEEFM'09).     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>