| Algorithms for checking channel passing in web service choreography | 1 | 0.35 | 2013 |
| An on-demand routing protocol for improving channel use efficiency in multichannel ad hoc networks | 6 | 0.44 | 2012 |
| A Framework for Integrating Human Processes with Business Artifacts | 0 | 0.34 | 2010 |
| Verification of channel passing in choreography with model checking | 3 | 0.41 | 2009 |
| Static validation of WS-CDL documents | 1 | 0.35 | 2009 |
| Reasoning about Channel Passing in Choreography | 8 | 0.62 | 2008 |
