Actor concurrency inside a region of mutual excluson

0 views
Skip to first unread message

Carl Hewitt

unread,
Jun 4, 2021, 8:29:19 PMJun 4
to fr...@googlegroups.com

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

Reply all
Reply to author
Forward
0 new messages