On Decidability of Simulation in Data-Centeric Business Protocols.

Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani

Browse the full BPM paper archive.