> These days, computation is typically interwoven with communication, and none of these models of computation have anything to say about that. Unfortunately, the numerous models we have of concurrent computation do not turn out to be equivalent.
I wonder which models is the author talking about? I've heard of Actor Model and CSP, and they both seem to be equivalent.
If anyone has any more information on the topic, please share with me.
bsedlm 631 days ago [-]
I was playing patrick's parabox lately and I wonder about a characterization of different outcomes of pushing the box you're in out of it, or into it and so on... but, in terms of lambda-like recursive functions, i.e. a written theoretical description to make sense of what's going on with patrick's parabox
olodus 631 days ago [-]
I have been wanting to play that game a while but sadly forgot to buy it at launch and then forgot it completely until now. Your comment made me realize I have to go and get me a copy, thanks.
I wonder which models is the author talking about? I've heard of Actor Model and CSP, and they both seem to be equivalent.
If anyone has any more information on the topic, please share with me.