Pages that link to "Item:Q1583483"

The following pages link to Universal coalgebra: A theory of systems (Q1583483):

Displaying 50 items.

• Varieties and covarieties of languages (extended abstract) (Q265785) (← links)
• Coinductive predicates and final sequences in a fibration (Q265811) (← links)
• Rational operational models (Q265819) (← links)
• Linearization of automatic arrays and weave specifications (Q265828) (← links)
• Coalgebras for fuzzy transition systems (Q276401) (← links)
• ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
• Relation lifting, a survey (Q299182) (← links)
• Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
• Structural congruence for bialgebraic semantics (Q338626) (← links)
• Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
• Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
• A coalgebraic perspective on logical interpretations (Q368477) (← links)
• Big toy models. Representing physical systems as Chu spaces (Q383003) (← links)
• Structural operational semantics for stochastic and weighted transition systems (Q383372) (← links)
• A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
• Proof systems for Moss' coalgebraic logic (Q402120) (← links)
• A bialgebraic approach to automata and formal language theory (Q408529) (← links)
• Universality of categories of coalgebras (Q409255) (← links)
• A coalgebraic perspective on linear weighted automata (Q418134) (← links)
• Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
• Lattice properties of congruences for stochastic relations (Q424543) (← links)
• Approximating Markov processes through filtration (Q442296) (← links)
• Relatively terminal coalgebras (Q456862) (← links)
• Binary trees as a computational framework (Q461478) (← links)
• The dual equivalence of equations and coequations for automata (Q498397) (← links)
• Structural operational semantics for non-deterministic processes with quantitative aspects (Q507377) (← links)
• Dynamical systems in categories (Q513904) (← links)
• A general account of coinduction up-to (Q523132) (← links)
• Network-conscious \(\pi\)-calculus -- a model of Pastry (Q530841) (← links)
• Quantitative Kleene coalgebras (Q532394) (← links)
• Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
• Channel-based coordination via constraint satisfaction (Q541681) (← links)
• Information hiding in probabilistic concurrent systems (Q549174) (← links)
• Unprovability of the logical characterization of bisimulation (Q549668) (← links)
• On the final sequence of a finitary set functor (Q557796) (← links)
• Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
• On universal categories of coalgebras (Q607458) (← links)
• Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
• Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
• Complete sets of cooperations (Q618169) (← links)
• Coequational logic for accessible functors (Q618173) (← links)
• A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
• Completeness for flat modal fixpoint logics (Q638475) (← links)
• Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
• Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
• Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
• A hierarchy of probabilistic system types (Q703518) (← links)
• A coalgebraic approach to Kleene algebra with tests (Q703519) (← links)
• Simulations in coalgebra (Q703522) (← links)
• Stone coalgebras (Q703523) (← links)