Timed semantics of message sequence charts based on timed automata

DOI10.1016/S1571-0661(04)80475-4MaRDI QIDQ2842583zbMATH OpenFDO

Authors Philipp Lucas

Publication date 15 August 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)80475-4

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Automata and Logics for Timed Message Sequence Charts
• Semantics of timed message sequence charts
• Time in message sequence charts: A formal approach. (Extended abstract)
• Timed automata: Semantics, algorithms and tools
• A semantics for timed MSC
• Semantics and execution time of new timed statecharts
• scientific article; zbMATH DE number 994050
• Proving sequential function chart programs using timed automata
• A uniform framework for timed automata
• Sampled semantics of timed automata

Cites work

• A hierarchy of communication models for message sequence charts
• A theory of regular MSC languages
• A theory of timed automata
• An automata based interpretation of live sequence charts
• Are timed automata updatable?
• Compositional message sequence charts
• Generalised regular MSC languages
• LSCs: Breathing life into message sequence charts
• Message sequence charts
• Model-checking in dense real-time
• Symbolic model checking for real-time systems
• Time, clocks, and the ordering of events in a distributed system
• Timed automata
• Untiming timed languages

Cited in

(10)

• Semantics of timed message sequence charts
• An automata based interpretation of live sequence charts
• A semantics for timed MSC
• Model checking time-constrained scenario-based specifications
• Quantitative analysis of communication scenarios
• Time in message sequence charts: A formal approach. (Extended abstract)
• scientific article; zbMATH DE number 1836357 (Why is no real title available?)
• An event structure based semantics for high-level message sequence charts
• Automata and Logics for Timed Message Sequence Charts
• Proving sequential function chart programs using timed automata

This page was built for publication: Timed semantics of message sequence charts based on timed automata

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