Thomas S. Heinze, Wolfram Amme, Simon Moser. Message Assertions and Predicate-Based Control-Flow Unfolding Revisited. In Nico Herzberg, Matthias Kunze, editors, Proceedings of the 6th Central-European Workshop on Services and their Composition, ZEUS 2014, Potsdam, Germany, February 20-21, 2014. Volume 1140 of CEUR Workshop Proceedings, pages 17-20, CEUR-WS.org, 2014. [doi]
Abstract is missing.