Oana Otilia Captarencu. The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude. In Joaquim Filipe, Michal Smialek, Alexander Brodsky 0001, Slimane Hammoudi, editors, Proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, Volume 2, Prague, Czech Republic, April 24-26, 2023. pages 373-384, SCITEPRESS, 2023. [doi]
Abstract is missing.