Fixed point equations with parameters in the projective model

DOI10.1016/0890-5401(87)90003-4zbMATH Open0626.68029OpenAlexW2165563109MaRDI QIDQ580971FDOQ580971

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

densitycompactnessBanach's contraction principlecalculus of communicating processesinfinite and finite systems of fixed point equations

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory
• A calculus of communicating systems
• On the converse of Banach "fixed-point principle"
• On the consistency of Koomen's fair abstraction rule
• Processes and the denotational semantics of concurrency
• A Converse of Banach's Contraction Theorem

Cited In (4)

• On the consistency of Koomen's fair abstraction rule
• A thread calculus with molecular dynamics
• Synchronous cooperation for explicit multi-threading
• Fixed points in free process algebras. I

   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 👍 👎

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)