A Semantics for Timed MSC

DOI10.1016/S1571-0661(04)80486-9zbMath1268.68118MaRDI QIDQ2841319

Tong Zheng, Loïc Hélouët, Ferhat Khendek

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

Stepwise refinement of sequence diagrams with soft real-time constraints

Cites Work

• Interpreting message flow graphs

This page was built for publication: A Semantics for Timed MSC