Может быть, уто удасться сделать в unisonweb через ability (алгебраические эффекты). Там стараются сделать все пересылаемым по сети, вполне возможно что континуейшены тоже пересылаются.
Специфика воркфлоу - это сильно похоже на асинхронную и конкурентную программу, но переживающую свой рантайм много раз - бизнес процессы могут длится дни, недели или месяцы
Бизнес-процессы хорошо моделируются сетями Петри. Их стейт - просто набор натуральных чисел - числа фишек в каждой ячейки. И миграция при таком подходе не выглядит сверхсложной.