A semantics for timed MSC

DOI10.1016/S1571-0661(04)80486-9MaRDI QIDQ2841319zbMATH OpenFDO

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

Publication date 24 July 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80486-9

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1760052
• Semantics of timed message sequence charts
• Timed semantics of message sequence charts based on timed automata
• Time consistency of MSC-2000 specifications.
• scientific article; zbMATH DE number 1307655

Cites work

• Interpreting message flow graphs

Cited in

(13)

• Time consistency of MSC-2000 specifications.
• Semantics of timed message sequence charts
• Stepwise refinement of sequence diagrams with soft real-time constraints
• scientific article; zbMATH DE number 1728525 (Why is no real title available?)
• scientific article; zbMATH DE number 1729258 (Why is no real title available?)
• Timed semantics of message sequence charts based on timed automata
• Adding time to scenarios
• scientific article; zbMATH DE number 1307655 (Why is no real title available?)
• scientific article; zbMATH DE number 2043470 (Why is no real title available?)
• scientific article; zbMATH DE number 1760052 (Why is no real title available?)
• scientific article; zbMATH DE number 1836357 (Why is no real title available?)
• A Timed Mobility Semantics Based on Rewriting Strategies
• Delayed-choice semantics for pomset families and message sequence graphs

This page was built for publication: A semantics for timed MSC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841319)