Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
From MaRDI portal
Publication:3901654
DOI10.1137/0209002zbMath0454.18011OpenAlexW2088049948MaRDI QIDQ3901654
Calvin C. Elgot, Jesse B. Wright, Stephen L. Bloom
Publication date: 1980
Published in: SIAM Journal on Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0209002
Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (25)
A connection between concurrency and language theory ⋮ Some quasi-varieties of iteration theories ⋮ On flowchart theories. I. The deterministic case ⋮ Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Independence of the equational axioms for iteration theories ⋮ Equational properties of iteration in algebraically complete categories ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Program correctness and matricial iteration theories ⋮ Graph expressions and graph rewritings ⋮ Equational axioms associated with finite automata for fixed point operations in cartesian categories ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ Classes of finite relations as initial abstract data types. I ⋮ An algebraic model of synchronous systems ⋮ Foundations of a theory of synchronous systems ⋮ Axiomatizing schemes and their behaviors ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Equational logic of circular data type specification ⋮ Group axioms for iteration ⋮ Unique, guarded fixed points in an additive setting ⋮ Recursion and iteration in continuous theories: the M-construction ⋮ All solutions of a system of recursion equations in infinite trees and other contraction theories ⋮ Fundamental properties of infinite trees
This page was built for publication: Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
