scientific article

From MaRDI portal

Publication:3815463

Jump to:navigation, search

zbMath0664.18002MaRDI QIDQ3815463

Pierre America, Jan J. M. M. Rutten

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fixed points direct limit Cauchy sequence metric completion domain equations category of complete metric spaces contracting functors convergent tower equations on metric spaces

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Designing equivalent semantic models for process creation, Metric semantics for concurrency, The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces, Issues in the design of a parallel object-oriented language, Denotational semantics of a parallel object-oriented language

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3815463&oldid=17396652"