Flexible Analysis of Cross-Organizational Process Modeling Based on π Calculus | IEEE Conference Publication | IEEE Xplore