"Event-driven architecture" only considers a small subset of the computational events fundamental to understanding computation. Actor Theory is based on auto

"Event-driven architecture" only considers a small subset of the computational events fundamental to understanding computation. Actor Theory is based on automatizing the "precedes" partial order for all computational events. Proving properties of computation al systgems can be accomplished using Actors Event Induction for computational events. For more information see the following video: https://www.youtube.com/watch?v=AJP1VL7shiI https://www.youtube.com/watch?v=AJP1VL7shiI