Loïc Hélouët, Claude Jard, Benoît Caillaud. An Event Structure Based Semantics for High-Level Message Sequence Charts. Mathematical Structures in Computer Science, 12(4):377-402, 2002.
@article{HelouetJC02,
title = {An Event Structure Based Semantics for High-Level Message Sequence Charts},
author = {Loïc Hélouët and Claude Jard and Benoît Caillaud},
year = {2002},
tags = {semantics, rule-based},
researchr = {https://researchr.org/publication/HelouetJC02},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {12},
number = {4},
pages = {377-402},
}