Skip to content
<title>Channels - Aczel-Mendler Bisimulations in a Regular Category :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Aczel-Mendler Bisimulations in a Regular Category
Search for more channels:
Similar Items: Aczel-Mendler Bisimulations in a Regular Category
Channel Options
View Record
Explore related channels
Quick Look
Games for Bisimulations and Abstraction
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
A Strong Bisimulation for a Classical Term Calculus
Quick Look
Displayed Categories
Quick Look
Positive Hennessy-Milner Logic for Branching Bisimulation
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
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
Quick Look
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Quick Look
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Quick Look
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
Quick Look
Cartesian Difference Categories
Quick Look
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
Quick Look
String Diagrams for Premonoidal Categories
Quick Look
Coinductive Streams in Monoidal Categories
Load more items
View Record
Prev
Explore related channels
Next
