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

algebraic iterative theorycomputation semantics iterationflowchartsiterative theory of labeled trees

Mathematics Subject Classification ID

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

Cited in

(25)

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