Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displaying 50 items.
- Comprehension for coalgebras (Q2842555) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Greatest bisimulations for binary methods (Q2842564) (← links)
- On rational monads and free iterative theories (Q2842813) (← links)
- Bisimulation relations for dynamical and control systems (Q2842819) (← links)
- Factorization systems and fibrations: toward a fibred Birkhoff variety theorem (Q2842821) (← links)
- Recursive coalgebras from comonads (Q2847806) (← links)
- G-reactive systems as coalgebras (Q2864375) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- A coalgebraic theory of reactive systems (Q2870200) (← links)
- Co-algebraic models for quantitative spatial logics (Q2870283) (← links)
- On products of transition systems (Q2873664) (← links)
- Coalgebraising subsequential transducers (Q2873665) (← links)
- Observational coalgebras and complete sets of co-operations (Q2873667) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Pre-Galois connection on coalgebras for generic component refinement (Q2873691) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Complementation of Coalgebra Automata (Q2888479) (← links)
- Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Data Intensive Distributed Computing in Data Aware Self-organizing Networks (Q2889856) (← links)
- A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686) (← links)
- A parameterization process: from a functorial point of view (Q2909193) (← links)
- Categorifying computations into components via arrows as profunctors (Q2919448) (← links)
- Generic infinite traces and path-based coalgebraic temporal logics (Q2919451) (← links)
- Applications of algebra and coalgebra in scientific modelling: illustrated with the logistic map (Q2919452) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- Coinduction in concurrent timed systems (Q2919457) (← links)
- Regular Varieties of Automata and Coequations (Q2941177) (← links)
- A Formalized Hierarchy of Probabilistic System Types (Q2945633) (← links)
- Equations and Coequations for Weighted Automata (Q2946360) (← links)
- The p-adic Integers as Final Coalgebra (Q2947469) (← links)
- Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions (Q2955779) (← links)
- A coalgebraic view on decorated traces (Q2973240) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q2980965) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- Pointwise extensions of GSOS-defined operations (Q3005990) (← links)
- Initial algebras and terminal coalgebras in many-sorted sets (Q3005994) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- (Q3023880) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
