Skip to content
<title>Channels - Pushdown Automata and Context-Free Grammars in Bisimulation Semantics :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Search for more channels:
Similar Items: Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Channel Options
View Record
Explore related channels
Quick Look
Edit Distance for Pushdown Automata
Quick Look
Good-for-games $omega$-Pushdown Automata
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Cost Preserving Bisimulations for Probabilistic Automata
Quick Look
Beyond Language Equivalence on Visibly Pushdown Automata
Quick Look
Model-Checking of Ordered Multi-Pushdown Automata
Quick Look
Reachability Problem for Weak Multi-Pushdown Automata
Quick Look
Minimization of visibly pushdown automata is NP-complete
Quick Look
Coalgebras for Bisimulation of Weighted Automata over Semirings
Quick Look
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Quick Look
On the Expressive Power of 2-Stack Visibly Pushdown Automata
Quick Look
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
Quick Look
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Quick Look
Deterministic pushdown automata can compress some normal sequences
Quick Look
Sampled Semantics of Timed Automata
Quick Look
Quantitative Semantics for Jumping Automata
Quick Look
Quantitative Automata under Probabilistic Semantics
Quick Look
Games for Bisimulations and Abstraction
Quick Look
Relating Apartness and Bisimulation
Quick Look
Lowerbounds for Bisimulation by Partition Refinement
Quick Look
Reachability Analysis of Communicating Pushdown Systems
Quick Look
Relating coalgebraic notions of bisimulation
Quick Look
Bisimulations for Delimited-Control Operators
Quick Look
Nash Equilibrium and Bisimulation Invariance
Load more items
View Record
Prev
Explore related channels
Next
