Search

• < Previous
• 1
• Next >

The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable

Reactive Turing machines extend classical Turing machines with a facility to model observable interactive behaviour. We call a behaviour (finitely) executable if, and only if, it is equivalent to the behaviour of a (finite) reactive Turing machine. In this paper, we study the relationship between&nbsp;[&hellip;]