Simulation relations for alternating Büchi automata
From MaRDI portal
(Redirected from Publication:557801)
Recommendations
- Constructing Büchi automata from linear temporal logic using simulation relations for alternating Büchi automata
- Simulation Relations for Alternating Parity Automata and Parity Games
- Simulation algorithms for symbolic automata
- Multipebble simulations for alternating automata (extended abstract)
- scientific article; zbMATH DE number 1954381
- Congruence Relations for Büchi Automata
- scientific article; zbMATH DE number 56675
- Complementation of Büchi Automata Using Alternation
- Publication:3033341
- Bisimulation relations for weighted automata
Cites work
- scientific article; zbMATH DE number 1962758 (Why is no real title available?)
- scientific article; zbMATH DE number 2043528 (Why is no real title available?)
- scientific article; zbMATH DE number 1927582 (Why is no real title available?)
- scientific article; zbMATH DE number 1927583 (Why is no real title available?)
- scientific article; zbMATH DE number 1754628 (Why is no real title available?)
- scientific article; zbMATH DE number 1754629 (Why is no real title available?)
- scientific article; zbMATH DE number 1759624 (Why is no real title available?)
- scientific article; zbMATH DE number 1903362 (Why is no real title available?)
- An attack on a recursive authentication protocol. A cautionary tale
- An attack on the Needham-Schroeder public-key authentication protocol
- Deciding the security of protocols with commuting public key encryption
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- On the security of public key protocols
- Using encryption for authentication in large networks of computers
Cited in
(14)- scientific article; zbMATH DE number 1954381 (Why is no real title available?)
- Enhancing Simulation for Checking Language Containment
- Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
- scientific article; zbMATH DE number 1754630 (Why is no real title available?)
- Büchi automata can have smaller quotients
- Multi-buffer simulations: decidability and complexity
- Multipebble simulations for alternating automata (extended abstract)
- Mediating for reduction (on minimizing alternating Büchi automata)
- Multi-buffer simulations for trace language inclusion
- Mediating for reduction (on minimizing alternating Büchi automata)
- Topological characterisation of multi-buffer simulation
- Ramsey-based inclusion checking for visibly pushdown automata
- Simulations in rank-based Büchi automata complementation
- Simulation Relations for Alternating Parity Automata and Parity Games
This page was built for publication: Simulation relations for alternating Büchi automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q557801)