An algorithm for checking the time consistency of message sequence charts

DOI10.1023/A:1022979502087zbMath1031.68138OpenAlexW1496377018MaRDI QIDQ1407080

S. N. Svirgunenko, M. V. Lopatina, A. B. Godlevskij

Publication date: 9 September 2003

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022979502087

zbMATH Keywords

linear programmingtime consistencyMSC languageraces in MSCsscenario of computations

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

This page was built for publication: An algorithm for checking the time consistency of message sequence charts