Pages that link to "Item:Q1884876"
From MaRDI portal
The following pages link to Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876):
Displaying 40 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Control of discrete-event systems with partial observations using coalgebra and coinduction (Q816696) (← links)
- Productivity of stream definitions (Q846366) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- A coinductive calculus of binary trees (Q964505) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- Derivatives of rational expressions with multiplicity (Q1770384) (← links)
- Automata and rational expressions (Q2074204) (← links)
- Finiteness spaces and generalized power series (Q2134813) (← links)
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Context-free coalgebras (Q2341705) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Derived-Term Automata of Multitape Rational Expressions (Q2830207) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Coinduction in Concurrent Timed Systems (Q2919457) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- (Q2980965) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Pointwise extensions of GSOS-defined operations (Q3005990) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- Concrete stream calculus: An extended study (Q3021409) (← links)
- Derived-Term Automata for Extended Weighted Rational Expressions (Q3179410) (← links)
- Weighted Bisimulation in Linear Algebraic Form (Q3184672) (← links)
- The Bird Tree (Q3644933) (← links)
- Newton series, coinductively: a comparative study of composition (Q4559600) (← links)
- Tree dimension in verification of constrained Horn clauses (Q4644355) (← links)
- Elements of Stream Calculus (Q4917066) (← links)
- Rational and Recognisable Power Series (Q5072546) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- (Q5875403) (← links)
