Marco Zecchini, Andrea Bracciali, Ioannis Chatzigiannakis, Andrea Vitaletti. On Refining Design Patterns for Smart Contracts. In Ulrich Schwardmann, Christian Boehme, Dora B. Heras, Valeria Cardellini, Emmanuel Jeannot, Antonio Salis, Claudio Schifanella, Ravi Reddy Manumachu, Dieter Schwamborn, Laura Ricci, Oh Sangyoon, Thomas Gruber, Laura Antonelli, Stephen L. Scott, editors, Euro-Par 2019: Parallel Processing Workshops - Euro-Par 2019 International Workshops, Göttingen, Germany, August 26-30, 2019, Revised Selected Papers. Volume 11997 of Lecture Notes in Computer Science, pages 228-239, Springer, 2019. [doi]
Abstract is missing.