The Theory of Timed I/O Automata
From MaRDI portal
Publication:3006716
DOI10.2200/S00006ED1V01Y200508CSL001zbMath1250.68005OpenAlexW2169630160MaRDI QIDQ3006716
Dilsun Kaynar, Roberto Segala, Frits W. Vaandrager, Nancy A. Lynch
Publication date: 21 June 2011
Published in: Synthesis Lectures on Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2200/s00006ed1v01y200508csl001
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Generalized interface automata with multicast synchronization, Bounded invariant verification for time-delayed nonlinear networked dynamical systems, Modeling Objects Moving in a Complex Environment with World Automata, A basic compositional model for spiking neural networks, On specifications and proofs of timed circuits, Controller synthesis for dynamic hierarchical real-time plants using timed automata, Symmetric transrationals: the data type and the algorithmic degree of its equational theory, Modal event-clock specifications for timed component-based design, Compositional Abstraction in Real-Time Model Checking, Timing-Sensitive Noninterference through Composition, CPO semantics of timed interactive actor networks, Toward an algebraic theory of systems, Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language, Proving Approximate Implementations for Probabilistic I/O Automata
Uses Software
