Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems Topics: Formal Methods In Proceedings of the 10th International Conference on Software Engineering and Applications - Volume 0ICSOFT, 339-347, 2015 , Colmar, Alsace, France