An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies

Aymen Baouab, Perrin, Olivier, Godart, Claude. An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies. In The 8th International Conference on Services Computing (IEEE SCC 2011). pages 640-647, IEEE, Washington, US, Jul 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.