Regular set of representatives for time-constrained MSC graphs

DOI10.1016/J.IPL.2012.05.002zbMATH Open1243.68218OpenAlexW1963663203MaRDI QIDQ436617FDOQ436617

Loïc Hélouët, S. Akshay, Blaise Genest, Shaofa Yang

Publication date: 25 July 2012

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-00647720/file/RR-7823.pdf

Recommendations

• scientific article; zbMATH DE number 5587270
• Symbolically Bounding the Drift in Time-Constrained MSC Graphs
• Mengerian temporal graphs revisited
• scientific article; zbMATH DE number 3910116
• On interval representations of graphs
• Assigning times to minimise reachability in temporal graphs
• scientific article
• Time constrained graph searching
• Optimizing reachability sets in temporal graphs by delaying
• On representable graphs

zbMATH Keywords

formal languagesformal methodstimed automataspecification languagesMSC graphspartial order languagesset of representatives

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A theory of timed automata
• When Are Timed Automata Determinizable?
• Distributed Time-Asynchronous Automata
• A Kleene theorem and model checking algorithms for existentially bounded communicating automata
• A theory of regular MSC languages
• A partial order semantics approach to the clock explosion problem of timed automata
• Model checking time-constrained scenario-based specifications
• Symbolically Bounding the Drift in Time-Constrained MSC Graphs
• Timed Unfoldings for Networks of Timed Automata
• Symbolic Unfoldings for Networks of Timed Automata
• Checking Coverage for Infinite Collections of Timed Scenarios
• Regular set of representatives for time-constrained MSC graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Regular set of representatives for time-constrained MSC graphs
• Quantitative Analysis of Communication Scenarios
• Symbolically Bounding the Drift in Time-Constrained MSC Graphs

This page was built for publication: Regular set of representatives for time-constrained MSC graphs

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