Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, Chi
143.14 CHF
Versandkostenfrei
Lieferzeit: 21 Werktage
- Artikel-Nr.: 10210301
Beschreibung
Preface. 1. Encounters Between Topology and Domain Theory; J.D. Lawson. 2. The Lawon Topology on Quasicontinuous Domains; X.-Q. Xu. 3. Uk-admitting dcpos need not be sober; H. Kou. 4. The Largest Topologically Cartesian Closed Categories of Domains as Topological Spaces; H. Kou, M. Luo. 5. On the Equivalence of Some Approaches to Computability on the Real Line; D. Spreen, H. Schulz. 6. The continuous functionals of finite types over the reals; D. Normann. 7. Compact Semantics on Bc-domains; T. Fan, G.-J. Wang. 8. Normal Subsets in Abstract Bases; L. Fan, C.-Y. Zheng. 9. Semantics of Logic Programs and Representation of Smyth Powerdomain; G.-Q. Zhang, W.C. Rounds. 10. Domains of view: a foundation for specification and analysis; M. Huth. 11. Semantic Theory and Proof System of Open Bisimulation for the pi-Calculus with Mismatching; Z. Li, H. Chen. 12. Axiomatization without Prefix Combinator; Y. Fu.
Eigenschaften
Breite: | 160 |
Gewicht: | 585 g |
Höhe: | 240 |
Seiten: | 273 |
Sprachen: | Englisch |
Autor: | Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu, Yixiang Chen |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen