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)

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)