Formal modeling and discovery of cross-organizational business processes: A privacy-preserving two-stage approach.

@article{liu-2026-formal, author = {Wei Liu and Ge Xin and Xiaoliang Chen and Xu Gu and Duoqian Miao and Peng Lu and Lujia Li}, title = {{Formal modeling and discovery of cross-organizational business processes: A privacy-preserving two-stage approach}}, journal = {Information Processing and Management}, volume = {63}, number = {4}, pages = {104585}, year = {2026}, url = {https://doi.org/10.1016/J.IPM.2025.104585}, doi = {https://doi.org/10.1016/J.IPM.2025.104585} }