This is very interesting, but also worth mentioning that this is a paper from 1978. I didn't check the date at first and got very excited when I read
A new class of computing systems uses the functional programming style both in its programming language and in its state transition rules.
thinking some new developments were happening today.