3 ms·
The Actors Abstraction is a much simpler and more powerful for formalizing the semantics of C++. See the following: https://papers.ssrn.com/abstract=3603021
by ProfHewitt 5y ago
The Actors Abstraction is a much simpler and more powerful for
formalizing the semantics of C++. See the following:
https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021
https://www.youtube.com/watch?v=AJP1VL7shiI https://www.youtube.com/watch?v=AJP1VL7shiI