SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems. Botan, I., Derakhshan, R., Dindar, N., Haas, L. M., Miller, R. J., & Tatbul, N. Proc. VLDB Endow., 3(1):232–243, 2010.
SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems [pdf]Paper  doi  bibtex   

Downloads: 0