The Theory of Message Sequence Charts

DOI10.1142/9789814271059_0010zbMATH Open1256.68118OpenAlexW2399055703MaRDI QIDQ4907862

K. Narayan Kumar

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/215a6518a42e52762d248a6e85ff0a9406a9b0a0

zbMATH Keywords

model-checkingspecificationmessage sequence charts

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Realizability of high-level message sequence charts: closing the gaps ⋮ Interpreting message flow graphs ⋮ Quantitative Analysis of Communication Scenarios ⋮ QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS ⋮ Lectures on Concurrency and Petri Nets ⋮ Event clock message passing automata: a logical characterization and an emptiness checking algorithm ⋮ On the composition of Tunstall messages

This page was built for publication: The Theory of Message Sequence Charts