scientific article; zbMATH DE number 1948164
From MaRDI portal
Publication:4411825
zbMath1020.68050MaRDI QIDQ4411825
Publication date: 10 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710216.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Reasoning about probabilistic sequential programs ⋮ Duality and canonical extensions for stably compact spaces ⋮ Unnamed Item ⋮ Entailment systems for stably locally compact locales ⋮ Continuous Domain Theory in Logical Form ⋮ The probabilistic powerdomain for stably compact spaces ⋮ On the computational content of the Lawson topology
This page was built for publication:
