Semantics of timed message sequence charts

DOI10.1023/A:1021189616059zbMath1031.68072MaRDI QIDQ1406345

V. P. Kotlyarov, Yu. V. Kapitonova, V. A. Volkov, A. A. jun. Letichevskii, Alexander Letichevsky

Publication date: 9 September 2003

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

zbMATH Keywords

time consistencyMSC languagesemantics of languagestheory of interaction of agents and environmentsverification of requirements

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Properties of a predicate transformer of the VRS system