Formal semantics for knowledge representation and automated reasoning in BPMN process models
Author:
Angelo Casciani,Simone Agostinelli,Yves Lespérance,Andrea Marrella,Sebastian Sardiña
Publication:
Information Systems
Date:
August–September 2026
© 2026 The Author(s). Published by Elsevier Ltd.