Formal analysis of executions of organizational scenarios based on process-oriented specifications

Viara Popova, Alexei Sharpanskykh. Formal analysis of executions of organizational scenarios based on process-oriented specifications. Appl. Intell., 34(2):226-244, 2011. [doi]

Abstract

Abstract is missing.