| Автор | HÉLOUËT, LOÏC |
| Автор | JARD, CLAUDE |
| Автор | CAILLAUD, BENOÎT |
| Дата выпуска | 2002 |
| dc.description | This paper details a partial order semantics for families of scenarios represented by High-Level Message Sequence Charts (HMSCs): graph grammars generating event structures are used to represent HMSCs. A decision procedure for HMSC equivalence is then described. This can be considered as a first step towards the formal manipulation of scenarios. |
| Издатель | Cambridge University Press |
| Название | An event structure based semantics for high-level message sequence charts This paper is a complete and revised version of a lecture given at the workshop on Theory and Applications of Graph Transformations (GRATRA 2000), which was a satellite event of ETAPS 2000 in Berlin, March 2000. |
| DOI | 10.1017/S0960129501003589 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 12 |
| Первая страница | 377 |
| Последняя страница | 402 |
| Аффилиация | HÉLOUËT LOÏC; Campus de Beaulieu |
| Аффилиация | JARD CLAUDE; Campus de Beaulieu |
| Аффилиация | CAILLAUD BENOÎT; Campus de Beaulieu |
| Выпуск | 4 |
