Actor concurrency inside a region of mutual excluson

[Carl Hewitt]

From FiAM on Friday:  The axioms that define Actors do not prohibit internal parallelism inside a region of mutual exclusion.

Parallelism inside a region of mutual exclusion can be particularly important for an Actor implemented in hardware.

 

Regards,

Carl

https://professorhewitt.blogspot.com/

 

PS. See the following for Axioms axiomatized up to a unique isomorphism:

 

https://papers.ssrn.com/abstract=3418003