@article{2021-duran-jlamp-j,
  author  = {Francisco Dur{\'{a}}n and
             Camilo Rocha and
             Gwen Sala{\"{u}}n},
  title   = {Resource provisioning strategies for {BPMN} processes: Specification
             and analysis using Maude},
  journal = {J. Log. Algebraic Methods Program.},
  volume  = {123},
  pages   = {100711},
  year    = {2021},
  doi     = {10.1016/j.jlamp.2021.100711}
}