1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253–284 (1991)
2. Lecture Notes in Computer Science;T Chatain,2014
3. Chatain, T., Haar, S., Kolcák, J., Paulevé, L., Thakkar, A.: Concurrency in Boolean networks. Natural Comput. (2019, to appear)
4. Thomas Chatain and Loïc Paulevé. Goal-driven unfolding of petri nets. In Roland Meyer and Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, 5–8 September 2017, Berlin, Germany, LIPIcs, vol. 85, pp. 18:1–18:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
5. Cohen, D.P.A., Martignetti, L., Robine, S., Barillot, E., Zinovyev, A., Calzone, L.: Mathematical modelling of molecular pathways enabling tumour cell invasion and migration. PLoS Comput. Biol. 11(11), e1004571 (2015)