Fixed point equations with parameters in the projective model

DOI10.1016/0890-5401(87)90003-4zbMath0626.68029OpenAlexW2165563109MaRDI QIDQ580971

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

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

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (4)

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

Cites Work

• On the consistency of Koomen's fair abstraction rule
• A calculus of communicating systems
• Model theory
• On the converse of Banach "fixed-point principle"
• Processes and the denotational semantics of concurrency
• A Converse of Banach's Contraction Theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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