Vector Iteration in Pointed Iterative Theories

DOI10.1137/0209039MaRDI QIDQ3911392zbMATH OpenOpenAlexFDO

Authors 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/0209039

zbMATH Keywords

flowchartsalgebraic iterative theorycomputation semantics iterationiterative theory of labeled trees

Mathematics Subject Classification ID

Trees (05C05) Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of computing (68Q99)

Cited in

(25)

• Program correctness and matricial iteration theories
• On flowchart theories. I. The deterministic case
• On flowchart theories. II: The nondeterministic case
• Some quasi-varieties of iteration theories
• A note on guarded theories
• Independence of the equational axioms for iteration theories
• Equational properties of iteration in algebraically complete categories
• Group axioms for iteration
• Dagger extension theorem
• Completeness of Park induction
• The equational logic of fixed points
• Kleene theorem in partial Conway theories with applications
• Equational logic of circular data type specification
• In memoriam Calvin C. Elgot
• Axiomatizing weighted synchronization trees and weighted bisimilarity
• THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
• Foundations of a theory of synchronous systems
• An algebraic model of synchronous systems
• Recursion and corecursion have the same equational logic
• Calvin C. Elgot (1922-1980)
• Algebras of iteration theories
• Unique, guarded fixed points in an additive setting: extended abstract
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• Recursion and iteration in continuous theories: the M-construction
• All solutions of a system of recursion equations in infinite trees and other contraction theories

This page was built for publication: Vector Iteration in Pointed Iterative Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3911392)