scientific article; zbMATH DE number 1064116
From MaRDI portal
Publication:4355684
Recommendations
Cited in
(only showing first 100 items - show all)- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits
- From algebras and coalgebras to dialgebras
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Comprehension for coalgebras
- Multigames and strategies, coalgebraically
- A Brief Overview of PVS
- Equivalences and congruences on infinite Conway games
- Actors without Directors: A Kahnian View of Heterogeneous Systems
- On equal \(\mu \)-terms
- Bialgebraic methods and modal logic in structural operational semantics
- Inductive and coinductive components of corecursive functions in Coq
- Coalgebras for binary methods: Properties of bisimulations and invariants
- Symmetries, local names and dynamic (de)-allocation of names
- A folk model structure on omega-cat
- Distributive laws for the coinductive solution of recursive equations
- Object-oriented hybrid systems of coalgebras plus monoid actions
- An approach to innocent strategies as graphs
- Natural duality, modality, and coalgebra
- Coalgebraic semantics for timed processes
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State
- Synthesis of Reo circuits from scenario-based interaction specifications
- Characterising behavioural equivalence: Three sides of one coin
- Structural operational semantics for continuous state stochastic transition systems
- Cut elimination for a logic with induction and co-induction
- A hierarchy of probabilistic system types
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Foundations for structuring behavioural specifications
- Generalised coinduction
- Equational axiomatizability for coalgebra
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- Universal coalgebra: A theory of systems
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Non-well-founded trees in categories
- A modal proof theory for final polynomial coalgebras
- Efficient Coalgebraic Partition Refinement
- Probabilistic operational semantics for the lambda calculus
- Proof-theoretic foundations of normal logic programs
- Final coalgebras and the Hennessy-Milner property
- Terminal metric spaces of finitely branching and image finite linear processes
- An introduction to (co)algebra and (co)induction
- Bialgebraic methods in structural operational semantics (invited talk)
- Fixpoint semantics and simulation
- Systems analysis of life cycle of large-scale information-control systems
- Final Dialgebras: From Categories to Allegories
- From modal logic to terminal coalgebras
- From Böhm's theorem to observational equivalences: an informal account
- Bi-inductive structural semantics
- Recursively defined metric spaces without contraction
- Combining a monad and a comonad
- Modularity and implementation of mathematical operational semantics
- GSOS for probabilistic transition systems (extended abstract)
- Modal predicates and coequations
- Circular proofs for the Gödel-Löb provability logic
- Coalgebraic components in a many-sorted microcosm
- Swinging types=functions+relations+transition systems
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- Coalgebras and monads in the semantics of Java
- Partition refinement of component interaction automata
- Finitary coalgebraic multisemilattices and multilattices.
- Behavioral abstraction is hiding information
- Computational ludics
- Approximating and computing behavioural distances in probabilistic transition systems
- A Note on Hyperspaces and Terminal Coalgebras
- A transition system semantics for the control-driven coordination language MANIFOLD
- Observational ultraproducts of polynomial coalgebras.
- Soundness and completeness proofs by coinductive methods
- Into the Infinite - Theory Exploration for Coinduction
- Coinduction for exact real number computation
- A coalgebraic semantics of subtyping
- Bi-inductive structural semantics (extended abstract)
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- Intuitionistic fixed point logic
- Coinduction for preordered algebra
- An approach to object semantics based on terminal co-algebras
- Services and Contracts: Coalgebraically
- Elements of stream calculus (an extensive exercise in coinduction)
- Coalgebras as types determined by their elimination rules
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
- Modal operators for coequations
- Co-algebraic models for quantitative spatial logics
- A description based on languages of the final non-deterministic automaton
- Practical coinduction
- Covarieties and complete covarieties
- Data intensive distributed computing in data aware self-organizing networks
- Observational logic, constructor-based logic, and their duality.
- Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
- Timing-Sensitive Noninterference through Composition
- A declarative framework for object-oriented programming with genetic inheritance
- From grammars and automata to algebras and coalgebras
- Coinduction in Flow: The Later Modality in Fibrations
- Generalised coinduction
- Two extensions of System F with (co)iteration and primitive (co)recursion principles
- Proving the unique fixed-point principle correct: an adventure with category theory
- Non-well-founded deduction for induction and coinduction
- Using Structural Recursion for Corecursion
- scientific article; zbMATH DE number 5994844 (Why is no real title available?)
- When is a function a fold or an unfold?
- scientific article; zbMATH DE number 7199591 (Why is no real title available?)
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4355684)
