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

Author Comments: Subsumed by later revision, available here: https://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-235.html