Skip to content
<title>Channels - Games for Bisimulations and Abstraction :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Games for Bisimulations and Abstraction
Search for more channels:
Similar Items: Games for Bisimulations and Abstraction
Channel Options
View Record
Explore related channels
Quick Look
Relating Apartness and Bisimulation
Quick Look
Relating coalgebraic notions of bisimulation
Quick Look
Bisimulations for Delimited-Control Operators
Quick Look
Nash Equilibrium and Bisimulation Invariance
Quick Look
Lowerbounds for Bisimulation by Partition Refinement
Quick Look
Cost Preserving Bisimulations for Probabilistic Automata
Quick Look
The Complexity of Bisimulation and Simulation on Finite Systems
Quick Look
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Quick Look
Coalgebras for Bisimulation of Weighted Automata over Semirings
Quick Look
Sound approximate and asymptotic probabilistic bisimulations for PCTL
Quick Look
Aczel-Mendler Bisimulations in a Regular Category
Quick Look
Positive Hennessy-Milner Logic for Branching Bisimulation
Quick Look
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
Quick Look
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Quick Look
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Quick Look
A Strong Bisimulation for a Classical Term Calculus
Quick Look
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
Quick Look
Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
Quick Look
Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking
Quick Look
Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
Quick Look
Abstract Model Repair
Quick Look
Abstract Completion, Formalized
Load more items
View Record
Prev
Explore related channels
Next
