[palmotea]

> It is not obvious to me that determinism is a requirement for an abstraction

But it is a requirement for them to be an "abstraction just like" assemblers or compilers, which is what was being claimed.