Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo. Pomsets for Process Management: A Healthcare Case Study. In Zhiming Liu 0001, Adnane Saoud, Heike Wehrheim, editors, Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings. Volume 16237 of Lecture Notes in Computer Science, pages 378-395, Springer, 2025. [doi]
Abstract is missing.