Stream differential equations: specification formats and solution methods
DOI10.23638/LMCS-13(1:3)2017zbMATH Open1451.68181arXiv1609.08367MaRDI QIDQ2980965FDOQ2980965
Authors: Helle Hvid Hansen, Clemens Kupke, Jan J. M. M. Rutten 
Publication date: 8 May 2017
Full work available at URL: https://arxiv.org/abs/1609.08367
Recommendations
linear systemscoalgebraautomatic sequencescoinductionbialgebrastreamsbehavioural differential equationscontext-free streams
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Algebraic theory of languages and automata (68Q70)
Cites Work
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- CIRC: A Circular Coinductive Prover
- Title not available (Why is that?)
- Title not available (Why is that?)
- Derivatives of Regular Expressions
- Universal coalgebra: A theory of systems
- Structural operational semantics.
- On the final coalgebra of automatic sequences
- Coalgebraic bisimulation-up-to
- Sound and complete axiomatizations of coalgebraic language equivalence
- Automatic sequences and zip-specifications
- A treatise on the calculus of finite differences.
- Representations of stream processors using nested fixed points
- Rational streams coalgebraically
- Automatic Sequences
- A coinductive calculus of streams
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bialgebras for structural operational semantics: an introduction
- Category theory for operational semantics
- Noncommutative rational series with applications
- Title not available (Why is that?)
- A coalgebraic perspective on linear weighted automata
- A tutorial on coinductive stream calculus and signal flow graphs
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- A New Representation of the Rational Numbers for Fast Easy Arithmetic
- Distributive laws for the coinductive solution of recursive equations
- Presenting distributive laws
- Generalised coinduction
- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
- Bialgebraic methods and modal logic in structural operational semantics
- Title not available (Why is that?)
- Well-definedness of streams by transformation and termination
- Productivity of Stream Definitions
- Lazy productivity via termination
- Complete sets of cooperations
- Well-behaved translations between structural operational semantics
- Title not available (Why is that?)
- Elements of stream calculus (an extensive exercise in coinduction)
- THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA
- (Co)algebraic characterizations of signal flow graphs
- Algebra and Coalgebra in Computer Science
- Coalgebraic characterizations of context-free languages
- Circular coinduction in Coq using bisimulation-up-to techniques
- Productive coprogramming with guarded recursion
- A proof of Moessner's theorem by coinduction
- Concrete stream calculus: an extended study
- Context-free coalgebras
- Defining context-free power series coalgebraically
- Newton series, coinductively
- Language constructs for non-well-founded computation
- Wellfounded recursion with copatterns: a unified approach to termination and productivity
- The Haskell road to logic, maths and programming
- A final coalgebra for \(k\)-regular sequences
Cited In (9)
- An implicit function theorem for the stream calculus
- Coinduction in Flow: The Later Modality in Fibrations
- Title not available (Why is that?)
- Distributive laws for monotone specifications
- Integrating induction and coinduction via closure operators and proof cycles
- Well-definedness of streams by transformation and termination
- Products, polynomials and differential equations in the stream calculus
- Well-Definedness of Streams by Termination
- Companions, codensity and causality
Uses Software
This page was built for publication: Stream differential equations: specification formats and solution methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980965)
