Del i serien Semantics Structures in Computation

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Häftad, Engelska, 2012

AvKlaus Keimel,Guo-Qiang Zhang,Ying Ming Liu,Yixiang Chen

1 429 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 439 kr

Skickas inom 10-15 vardagar

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

Produktinformation

Utgivningsdatum2012-09-17
Mått160 x 240 x 16 mm
Vikt471 g
FormatHäftad
SpråkEngelska
SerieSemantics Structures in Computation
Antal sidor273
FörlagSpringer
ISBN9789401038591

Tillhör följande kategorier

1 Encounters Between Topology and Domain Theory.- 1 Introduction.- 2 Introductory Domain Theory.- 3 The Scott Topology.- 4 Locally Compact Spaces.- 5 Spectral Theory.- 6 Round Ideal Completions.- 7 Ordered Spaces.- 8 Compact Pospaces.- 9 Spaces of Maximal Points.- 10 The Domain of Closed Formal Balls.- 11 Fixed Point Theory.- 12 The Probabilistic Power Domain.- 13 Open Problems and Research Directions.- 14 Topological Appendix.- 2 The Lawson Topology on Quasicontinuous Domains.- 1 Introduction.- 2 Quasicontiuous domains.- 3 Strictly complete regularity of the Lawson topology.- 3 Uk-admitting dcpos need not be sober.- 1 Introduction.- 2 Uk-admitting for locally compact dcpo’s.- 3 Uk-admitting does not always imply sober.- 4 The Largest Topologically Cartesian Closed Categories of Domains as Topological Spaces.- 1 Introduction and Preliminaries.- 2 Relations between tcc and ccc categories.- 3 FS is the largest tcc full subcategory of CONT1.- 4 F-FS is the largest tcc full subcategory of CONT.- 5 On the Equivalence of Some Approaches to Computability on the Real Line.- 1 Introduction.- 2 The TTE approach to real number computations.- 3 The domain-theoretic approach to real number computability.- 4 The language Real PCF.- 5 The equivalence results.- 6 Concluding remarks.- 7 Appendix.- 6 The continuous functionals of finite types over the reals.- 1 Introduction.- 2 The types.- 3 The hereditarily total objects.- 4 Density and co-density.- 5 Limit spaces.- 6 The traditional approach.- 7 Compact Semantics on Bc-domains.- 1 Introduction.- 2 Preliminaries and Characterizations for Semantics Continuity.- 3 The Compactness Theorem And Applications.- 4 Conclusion.- 8 Normal Subsets in Abstract Bases.- 1 Introduction.- 2 Prerequisites.- 3 Normal subsets and sub-domains.- 4 The dcpoclass of abstract bases and a fixed point theorem.- 9 Semantics of Logic Programs and Representation of Smyth Powerdomain.- 1 Introduction.- 2 Domains and information systems.- 3 Main representation theorem.- 4 Proofs.- 5 Examples.- 6 Semantics of disjunctive logic programs.- 7 Clausal logic over sequent structures.- 8 Conclusion.- 10 Domains of view: a foundation for specification and analysis.- 1 Introduction.- 2 Kripke modal transition systems.- 3 Fuzzy Kripke modal transition systems.- 4 Modal Markov chains.- 5 Modal relations.- 6 Related work.- 11 Semantic Theory and Proof System of Open Bisimulation for the ?-Calculus with Mismatching.- 1 Introduction.- 2 Operational Semantics of the ?-Calculus.- 3 Open Bisimulation and Its Symbolic Characterization.- 4 Proof System for Open Bisimulation.- 5 The Weak Case.- 6 Conclusions.- 12 Axiomatization without Prefix Combinator.- 1 Introduction.- 2 Preliminaries.- 3 Polyadic X-Calculus.- 4 A Process Calculus without Precedence.- 5 Ground Bisimilarity for Atomic X-Calculus.- 6 Axiomatization in the Absence of Prefix, Summation and Match Combinators.- 7 Final Remarks.

Mer från samma författare

Del 1517

Ordered Cones and Approximation

Klaus Keimel, Walter Roth

Häftad, 1992

369 kr

Mer från samma serie

Call-By-Push-Value

P.B. Levy

Inbunden, 2003

2 429 kr

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo

Inbunden, 2004

2 139 kr

Del 3

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo

Häftad, 2010

2 149 kr

Call-By-Push-Value

P.B. Levy

Häftad, 2012

1 719 kr

Du kanske också är intresserad av

Domains and Processes

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

Inbunden, 2001

1 439 kr

Del 3

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo

Häftad, 2010

2 149 kr

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo

Inbunden, 2004

2 139 kr

Del 1517

Ordered Cones and Approximation

Klaus Keimel, Walter Roth

Häftad, 1992

369 kr

Artificial Intelligence Logic and Applications

Marcello Bonsangue, Yixiang Chen

Häftad, 2026

1 109 kr

Formal Methods for the Analysis of Biomedical Ontologies

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Inbunden, 2025

819 kr

Formal Methods for the Analysis of Biomedical Ontologies

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Inbunden, 2022

989 kr

Formal Methods for the Analysis of Biomedical Ontologies

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Häftad, 2023

959 kr

Artificial Intelligence Logic and Applications

Yixiang Chen, Songmao Zhang

Häftad, 2022

1 109 kr

Call-By-Push-Value

P.B. Levy

Häftad, 2012

1 719 kr

Del i serien Semantics Structures in Computation

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Häftad, Engelska, 2012

AvKlaus Keimel,Guo-Qiang Zhang,Ying Ming Liu,Yixiang Chen

1 429 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

1 439 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2012-09-17
Mått160 x 240 x 16 mm
Vikt471 g
FormatHäftad
SpråkEngelska
SerieSemantics Structures in Computation
Antal sidor273
FörlagSpringer
ISBN9789401038591

Tillhör följande kategorier

1 Encounters Between Topology and Domain Theory.- 1 Introduction.- 2 Introductory Domain Theory.- 3 The Scott Topology.- 4 Locally Compact Spaces.- 5 Spectral Theory.- 6 Round Ideal Completions.- 7 Ordered Spaces.- 8 Compact Pospaces.- 9 Spaces of Maximal Points.- 10 The Domain of Closed Formal Balls.- 11 Fixed Point Theory.- 12 The Probabilistic Power Domain.- 13 Open Problems and Research Directions.- 14 Topological Appendix.- 2 The Lawson Topology on Quasicontinuous Domains.- 1 Introduction.- 2 Quasicontiuous domains.- 3 Strictly complete regularity of the Lawson topology.- 3 Uk-admitting dcpos need not be sober.- 1 Introduction.- 2 Uk-admitting for locally compact dcpo’s.- 3 Uk-admitting does not always imply sober.- 4 The Largest Topologically Cartesian Closed Categories of Domains as Topological Spaces.- 1 Introduction and Preliminaries.- 2 Relations between tcc and ccc categories.- 3 FS is the largest tcc full subcategory of CONT1.- 4 F-FS is the largest tcc full subcategory of CONT.- 5 On the Equivalence of Some Approaches to Computability on the Real Line.- 1 Introduction.- 2 The TTE approach to real number computations.- 3 The domain-theoretic approach to real number computability.- 4 The language Real PCF.- 5 The equivalence results.- 6 Concluding remarks.- 7 Appendix.- 6 The continuous functionals of finite types over the reals.- 1 Introduction.- 2 The types.- 3 The hereditarily total objects.- 4 Density and co-density.- 5 Limit spaces.- 6 The traditional approach.- 7 Compact Semantics on Bc-domains.- 1 Introduction.- 2 Preliminaries and Characterizations for Semantics Continuity.- 3 The Compactness Theorem And Applications.- 4 Conclusion.- 8 Normal Subsets in Abstract Bases.- 1 Introduction.- 2 Prerequisites.- 3 Normal subsets and sub-domains.- 4 The dcpoclass of abstract bases and a fixed point theorem.- 9 Semantics of Logic Programs and Representation of Smyth Powerdomain.- 1 Introduction.- 2 Domains and information systems.- 3 Main representation theorem.- 4 Proofs.- 5 Examples.- 6 Semantics of disjunctive logic programs.- 7 Clausal logic over sequent structures.- 8 Conclusion.- 10 Domains of view: a foundation for specification and analysis.- 1 Introduction.- 2 Kripke modal transition systems.- 3 Fuzzy Kripke modal transition systems.- 4 Modal Markov chains.- 5 Modal relations.- 6 Related work.- 11 Semantic Theory and Proof System of Open Bisimulation for the ?-Calculus with Mismatching.- 1 Introduction.- 2 Operational Semantics of the ?-Calculus.- 3 Open Bisimulation and Its Symbolic Characterization.- 4 Proof System for Open Bisimulation.- 5 The Weak Case.- 6 Conclusions.- 12 Axiomatization without Prefix Combinator.- 1 Introduction.- 2 Preliminaries.- 3 Polyadic X-Calculus.- 4 A Process Calculus without Precedence.- 5 Ground Bisimilarity for Atomic X-Calculus.- 6 Axiomatization in the Absence of Prefix, Summation and Match Combinators.- 7 Final Remarks.

Mer från samma författare

Del 1517

Ordered Cones and Approximation

Klaus Keimel, Walter Roth

Häftad, 1992

369 kr

Mer från samma serie

Call-By-Push-Value

P.B. Levy

Inbunden, 2003

2 429 kr

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo

Inbunden, 2004

2 139 kr

Del 3

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo

Häftad, 2010

2 149 kr

Call-By-Push-Value

P.B. Levy

Häftad, 2012

1 719 kr

Du kanske också är intresserad av

Domains and Processes

Klaus Keimel, Guo-Qiang Zhang, Ying Ming Liu, Yixiang Chen

Inbunden, 2001

1 439 kr

Del 3

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo

Häftad, 2010

2 149 kr

Domain Theory, Logic and Computation

Guo-Qiang Zhang, J. Lawson, Ying Ming Liu, M.K. Luo

Inbunden, 2004

2 139 kr

Del 1517

Ordered Cones and Approximation

Klaus Keimel, Walter Roth

Häftad, 1992

369 kr

Artificial Intelligence Logic and Applications

Marcello Bonsangue, Yixiang Chen

Häftad, 2026

1 109 kr

Formal Methods for the Analysis of Biomedical Ontologies

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Inbunden, 2025

819 kr

Formal Methods for the Analysis of Biomedical Ontologies

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Inbunden, 2022

989 kr

Formal Methods for the Analysis of Biomedical Ontologies

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui

Häftad, 2023

959 kr

Artificial Intelligence Logic and Applications

Yixiang Chen, Songmao Zhang

Häftad, 2022

1 109 kr

Call-By-Push-Value

P.B. Levy

Häftad, 2012

1 719 kr

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Finns i fler format (1)

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Finns i fler format (1)

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Finns i fler format (1)

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Finns i fler format (1)

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av