1. Activiti BPM Platform;Alfresco,2012
2. A self-organizing crash-resilient topology management system for content-based publish/subscribe;Baldoni,2004
3. Branching bisimilarity is an equivalence indeed!;Basten;Information Processing Letters,1996
4. A distributed execution environment for large-scale workflow management systems with subnets and server migration;Bauer,1997
5. Efficient distributed workflow management based on variable server assignments;Bauer,2000