- Referenced in 17 articles
- easily be extended to the failure-divergence model N and the various infinite traces models...
- Referenced in 14 articles
- rCOS: Theory and tool for component-based model...
- Referenced in 51 articles
- A calculus for orchestration of web services. We...