Structural transformations for data-enriched real-time systems
DOI10.1007/S00165-014-0306-YzbMATH Open1319.68150OpenAlexW2060145396MaRDI QIDQ493518FDOQ493518
Authors: Mani Swaminathan, Ernst-Rüdiger Olderog 
Publication date: 3 September 2015
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-014-0306-y
Recommendations
separationflatteningcommunication closednessextended timed automatalayered compositionlayered reachabilitynon-interference and precedencereal-time mutual exclusionstructural transformations
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
- Formal Methods for the Design of Real-Time Systems
- Title not available (Why is that?)
- A theory of timed automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Real-Time Systems
- Decomposition of distributed programs into communication-closed layers
- A partial order semantics approach to the clock explosion problem of timed automata
- A principle for sequential reasoning about distributed algorithms
- An algebraic framework for urgency
- Layered reasoning for randomized distributed algorithms
- Partial Order Reduction for Verification of Real-Time Components
- Layered composition for timed automata
- A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
- Title not available (Why is that?)
- Timed automata with disjoint activity
- Title not available (Why is that?)
- Randomized mutual exclusion algorithms revisited
Cited In (1)
Uses Software
This page was built for publication: Structural transformations for data-enriched real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q493518)
