Pointers to computational models of Flink CEP

[Vishwas Kalani]

Hey,
I am a computer science student working on a project related to flink cep.
I want to understand the theoretical foundations of flink cep. Could I get
some pointers to the computational models used by Flink CEP and how do
various elements of flink CEP function.
Thanking you in advance