1. Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. In: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, CS&P 2015, pp. 31–43 (2015)
2. Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623, 114–145 (2016)
3. Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. Fundamenta Informaticae 147(2–3), 173–191 (2016)
4. Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Informatica (2017).
https://doi.org/10.1007/s00236-017-0296-3
5. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Flat form preserving step-by-step behaviour. Fundamenta Informaticae 87, 1–34 (2008)