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
• scientific article; zbMATH DE number 1760052
• Lectures on Concurrency and Petri Nets
• 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
• scientific article; zbMATH DE number 1670795 (Why is no real title available?)
• scientific article; zbMATH DE number 1701776 (Why is no real title available?)
• scientific article; zbMATH DE number 1701777 (Why is no real title available?)
• scientific article; zbMATH DE number 2087422 (Why is no real title available?)
• scientific article; zbMATH DE number 2102690 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• LSCs: Breathing life into 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
• Untiming timed languages

Cited in

(10)

• Semantics of timed message sequence charts
• scientific article; zbMATH DE number 1701777 (Why is no real title available?)
• A semantics for timed MSC
• Model checking time-constrained scenario-based specifications
• Quantitative analysis of communication scenarios
• scientific article; zbMATH DE number 1760052 (Why is no real title available?)
• 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)