Fixed point equations with parameters in the projective model

DOI10.1016/0890-5401(87)90003-4MaRDI QIDQ580971zbMATH OpenOpenAlexFDO

Authors Evangelos Kranakis

Publication date 1987

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(87)90003-4

zbMATH Keywords

Banach's contraction principlecalculus of communicating processescompactnessdensityinfinite and finite systems of fixed point equations

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Review text

Existence and uniqueness theorems are given for solving infinite and finite systems of fixed point equations with parameters in the projective model (a natural model in the calculus of communicating processes). The results obtained are derived by exploiting the special topological and combinatorial properties of the projective model and the polynomial operators defined on it. The topological methods employed in the proofs of the existence and uniqueness theorems use a combination of the following three ideas: compactness argument, density argument, and Banach's contraction principle. As a converse to the uniqueness theorem it is also shown, using combinatorial methods, that in certain signatures guarded equations are the only ones that have unique fixed points.

Recommendations

• Fixed points in free process algebras. I
• Fixed points in free process algebras. II
• Solving fixed point equations over complete semirings
• Algebraic and fixed point equations over inverse limits of algebras
• The fixed point theory of unbounded non-determinism

Cites work

• A calculus of communicating systems
• A Converse of Banach's Contraction Theorem
• scientific article; zbMATH DE number 4016181 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3902015 (Why is no real title available?)
• scientific article; zbMATH DE number 3978362 (Why is no real title available?)
• scientific article; zbMATH DE number 3990852 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3709584 (Why is no real title available?)
• scientific article; zbMATH DE number 3758994 (Why is no real title available?)
• scientific article; zbMATH DE number 3497031 (Why is no real title available?)
• scientific article; zbMATH DE number 3802792 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• scientific article; zbMATH DE number 3301572 (Why is no real title available?)
• Model theory
• On the consistency of Koomen's fair abstraction rule
• On the converse of Banach "fixed-point principle"
• Processes and the denotational semantics of concurrency

Cited in

(6)

• On the consistency of Koomen's fair abstraction rule
• Fixed points in free process algebras. I
• Synchronous cooperation for explicit multi-threading
• scientific article; zbMATH DE number 4157899 (Why is no real title available?)
• Fixed points in free process algebras. II
• A thread calculus with molecular dynamics

This page was built for publication: Fixed point equations with parameters in the projective model

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