Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes.

Riccardo De Masellis, Jianwen Su

Browse the full ICSOC paper archive.