Jos C. M. Baeten, Bas Luttik. Sequential Value Passing Yields a Kleene Theorem for Processes. In Venanzio Capretta, Robbert Krebbers, Freek Wiedijk, editors, Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Volume 14560 of Lecture Notes in Computer Science, pages 1-16, Springer, 2024. [doi]
Abstract is missing.