Formal semantics of Message Sequence Charts

S. Mauw, M.A. Reniers

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

3 Downloads (Pure)

Samenvatting

The document presents a formal definition of the semantics of Message Sequence Charts. Examples are added to explain the formal definitions.
Originele taal-2Engels
TitelAnnex B to ITU Recommendation Z.120
Redacteurenxx ITU
UitgeverijITU
Aantal pagina's76
StatusGepubliceerd - 1998

Vingerafdruk

Duik in de onderzoeksthema's van 'Formal semantics of Message Sequence Charts'. Samen vormen ze een unieke vingerafdruk.

Citeer dit