Given a simple recursive function, we show how to extract two interacting processes from it. The two processes can be described by means of iterative programs, one of which is intrinsically reversible, in a language that, up to minor details, belongs to the core of widely used imperative programming languages. We implement the two processes as interleaving synchronous JAVA threads whose interaction is equivalent to the recursive function they are extracted from.

中文翻译：

---

古典与可逆交织

给定一个简单的递归函数，我们说明如何从中提取两个交互过程。可以通过迭代程序来描述这两个过程，其中一种迭代程序是固有可逆的，该语言最多包含次要细节，而后者属于广泛使用的命令式编程语言的核心。我们将这两个过程实现为交错同步JAVA线程，它们的交互作用等同于它们从中提取的递归函数。