Unique, guarded fixed points in an additive setting
From MaRDI portal
Publication:2842814
DOI10.1016/S1571-0661(04)80558-9zbMath1270.68187OpenAlexW1516783380MaRDI QIDQ2842814
Publication date: 16 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80558-9
Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A characterization of the least-fixed-point operator by dinaturality
- Comparative metric semantics for concurrent PROLOG
- A complete inference system for a class of regular behaviours
- Equational properties of iteration in algebraically complete categories
- Recognizable formal power series on trees
- Complete systems of \(\mathcal B\)-rational identities
- Four domains for concurrency
- Scalar and vector iteration
- Matricial theories
- IO and OI. I
- Group axioms for iteration
- A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring
- The equational logic of fixed points
- Automata and languages generalized to \(\omega\)-continuous semirings
- A lattice-theoretical fixpoint theorem and its applications
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- Algebraic specification of data types: A synthetic approach
- Vector Iteration in Pointed Iterative Theories
- The Category-Theoretic Solution of Recursive Domain Equations
- Data Types as Lattices
- Processes and the denotational semantics of concurrency
- Two Complete Axiom Systems for the Algebra of Regular Events
- On regular expressions and regular canonical systems
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
This page was built for publication: Unique, guarded fixed points in an additive setting
