The workshop is collocated with QSIC 2011 and it is included in its program as session 5B.
Accepted papers
- Xiaoqiang Qiao and Jun Wei.
Implementing Service Collaboration based on Decentralized Mediation. - Franz Wotawa and Mihai Nica.
Program debugging using constraints – Is it feasible? - Jasen Markovski.
Saving Time in a Space-Efficient Simulation Algorithm. - Chen-Wei Wang and Alessandra Cavarra.
Formal and Model-Based Testing of Concurrent Workflows.
