M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude, LNCS, vol.4350, 2007.

F. Durán, C. Rocha, and G. Salaün, A Note on Resource Allocation Analysis of BPMN Processes, 2018.

J. Meseguer, Conditional Rewriting Logic as a Unified Model of Concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.