Pages that link to "Item:Q1583483"
From MaRDI portal
The following pages link to Universal coalgebra: A theory of systems (Q1583483):
Displayed 50 items.
- A proof of Moessner's theorem by coinduction (Q1929334) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- A perspective on service orchestration (Q2389337) (← links)
- Factoring stochastic relations (Q2390244) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- A simplification functor for coalgebras (Q2469042) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- A modular approach to defining and characterising notions of simulation (Q2495641) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
- A tutorial on coinductive stream calculus and signal flow graphs (Q2571208) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- A Coalgebraic Semantics of Subtyping (Q2747942) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← 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)
- 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)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)