Fixing Zeno gaps
DOI10.1016/J.TCS.2011.03.018zbMATH Open1227.68079OpenAlexW2066891227MaRDI QIDQ549197FDOQ549197
Authors: Peter Höfner, Bernhard Möller 
Publication date: 7 July 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/files/38909/38909.pdf
Recommendations
Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of dynamical systems (37N99) Theory of computing (68Q99)
Cites Work
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- On the regularization of Zeno hybrid automata
- Title not available (Why is that?)
- An algebra of hybrid systems
- Process algebra for hybrid systems
- A lattice-theoretical fixpoint theorem and its applications
- Equational axioms for regular sets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebra of communicating processes with abstraction
- Title not available (Why is that?)
- Bases for Chain-complete Posets
- A completeness theorem for Kleene algebras and the algebra of regular events
- Process algebra with propositional signals
- Title not available (Why is that?)
- Automated Reasoning in Kleene Algebra
- Process Algebra
- Temporal algebra
- Title not available (Why is that?)
- Kleene getting lazy
- Title not available (Why is that?)
- Unique fixed points vs. least fixed points
- Process algebra with timing
- Title not available (Why is that?)
- Specification and Development of Interactive Systems
- Regular expressions and the equivalence of programs
- Title not available (Why is that?)
- A fixpoint theory for non-monotonic parallelism
- The common algebraic structure of exit-automata and machines
- Algebraic calculi for hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Theoretical Aspects of the Optimal Fixedpoint
- Title not available (Why is that?)
- An instruction sequence semigroup with involutive anti-automorphisms
- Hybrid Systems: Computation and Control
- Relational Methods in Computer Science
- Properties of data flow frameworks: A unified model
Cited In (2)
Uses Software
This page was built for publication: Fixing Zeno gaps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549197)
