Fixed point equations with parameters in the projective model

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

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

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

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

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

Cited In (6)

• 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. II
• Title not available (Why is that?)
• Fixed points in free process algebras. I

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)