An algebraic semantics for message sequence chart
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1998 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 350498 |
| Erscheinungsvermerk | In: A process algebra semantics for message sequence charts documents. 8. GI/ITG- Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Cottbus 1998. Aachen 1998. |