Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displayed 50 items.
- G-Reactive Systems as Coalgebras (Q2864375) (← links)
- Bialgebraic Methods in Structural Operational Semantics (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 (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)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- (Q3121518) (← links)
- (Q3121528) (← links)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)
- Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- Hybrid Automata as Coalgebras (Q3179412) (← links)