@ARTICLE{Helouet01,
  author = {Hélouët, Loïc and Jard, Claude and Caillaud, Benoit},
  title = {An Event Structure Semantics for Message Sequence Charts},
  journal = {Special issue on graph transformation in Mathematical Structures
	in Computer Science (MSCS) journal},
  year = {2001}
}