Piotr Kosiuczenko Partial Order Semantics of Sequence Diagrams for Mobility. 212-227 2003 conf/dagstuhl/2003scenarios Scenarios: Models, Transformations and Tools http://dx.doi.org/10.1007/11495628_12 db/conf/dagstuhl/scenarios2003.html#Kosiuczenko03