Fixed points of increasing functions

DOI10.1016/0020-0190(90)90087-EzbMath0695.06003OpenAlexW2117542137MaRDI QIDQ909682

C. A. R. Hoare

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90087-e

zbMATH Keywords

fixed pointsUNITYincreasing functionsparallel composition

Mathematics Subject Classification ID

Partial orders, general (06A06) Theory of computing (68Q99)

Related Items (2)

Extremal solutions of inequations over lattices with applications to supervisory control ⋮ A model for synchronous switching circuits and its theory of correctness

Uses Software

• UNITY

Cites Work

• Unnamed Item

This page was built for publication: Fixed points of increasing functions