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
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
