共 50 条
- [42] Deciding properties of message sequence charts SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS, 2005, 3466 : 43 - 65
- [43] Properties of minimal charts and their applications I JOURNAL OF MATHEMATICAL SCIENCES-THE UNIVERSITY OF TOKYO, 2007, 14 (01): : 69 - 97
- [47] Formal properties and implementation of bidirectional charts 1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):