Indeed. It is a necessarily true model of causality.
Highly recommend Minsky's application of the theory on computation: Computation: Finite and Infinite Machines
Interestingly, Minsky went out of his way to hide the production of that project without Weiner to avoid his influence on it--whom he disliked at least at a professional capacity.
There's some part where he shows the symmetry of the machine with the environment implies they are are interchangeable and is merely a description of convenience. Of course this trivially flows from the time reversibility.
Highly recommend Minsky's application of the theory on computation: Computation: Finite and Infinite Machines
Interestingly, Minsky went out of his way to hide the production of that project without Weiner to avoid his influence on it--whom he disliked at least at a professional capacity.
There's some part where he shows the symmetry of the machine with the environment implies they are are interchangeable and is merely a description of convenience. Of course this trivially flows from the time reversibility.