Business integration technologies

Compiler and verification technology for BPM

Journals and international conferences

Workshops

Research reports