Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems
THIS REPORT HAS BEEN WITHDRAWN
Marten Lohstroh
EECS Department, University of California, Berkeley
Technical Report No. UCB/EECS-2020-226
December 18, 2020
http://www2.eecs.berkeley.edu/Pubs/TechRpts/Withdrawn/EECS-2020-226.pdf
Author Comments: Subsumed by later revision, available here: <a href="https://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-235.html">https://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-235.html</a>