Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster. 04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kopperman_et_al:DagSemProc.04351.1, author = {Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter and Webster, Julian}, title = {{04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--24}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.1}, URN = {urn:nbn:de:0030-drops-1742}, doi = {10.4230/DagSemProc.04351.1}, annote = {Keywords: Domain theory , formal topology , constructive topology , domain representation, space-time , quantum gravity , inverse limit construction, matroid geometry , descriptive set theory , Borel hierarchy , Hausdorff difference hierarchy , Wadge degree partial metric , fractafold , region geometry , oriented projective geometry} }
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster. 04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kopperman_et_al:DagSemProc.04351.2, author = {Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter and Webster, Julian}, title = {{04351 Summary – Spatial Representation: Discrete vs. Continuous Computational Models}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.2}, URN = {urn:nbn:de:0030-drops-1710}, doi = {10.4230/DagSemProc.04351.2}, annote = {Keywords: Domain theory , formal topology , constructive topology , domain representation , space-time , quantum gravity , inverse limit construction , matroid geometry , descriptive set theory , Borel hierarchy , Hausdorff difference hierarchy , Wadge degree , partial metric , fractafold , region geometry} }
Reinhold Heckmann. A Cartesian Closed Extension of the Category of Locales. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{heckmann:DagSemProc.04351.3, author = {Heckmann, Reinhold}, title = {{A Cartesian Closed Extension of the Category of Locales}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.3}, URN = {urn:nbn:de:0030-drops-1339}, doi = {10.4230/DagSemProc.04351.3}, annote = {Keywords: Locale , Cartesian closed category} }
John L. Pfaltz. A Category of Discrete Closure Spaces. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{pfaltz:DagSemProc.04351.4, author = {Pfaltz, John L.}, title = {{A Category of Discrete Closure Spaces}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.4}, URN = {urn:nbn:de:0030-drops-1253}, doi = {10.4230/DagSemProc.04351.4}, annote = {Keywords: Category , closure , antimatroid , function} }
Keye Martin and Prakash Panangaden. A domain of spacetime intervals in general relativity. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{martin_et_al:DagSemProc.04351.5, author = {Martin, Keye and Panangaden, Prakash}, title = {{A domain of spacetime intervals in general relativity}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.5}, URN = {urn:nbn:de:0030-drops-1350}, doi = {10.4230/DagSemProc.04351.5}, annote = {Keywords: Causality , spacetime , global hyperbolicity , interval domains , bicontinuous posets , spacetime topology} }
Jonathan Gratus and Timothy Porter. A geometry of information, I: Nerves, posets and differential forms. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gratus_et_al:DagSemProc.04351.6, author = {Gratus, Jonathan and Porter, Timothy}, title = {{A geometry of information, I: Nerves, posets and differential forms}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.6}, URN = {urn:nbn:de:0030-drops-1268}, doi = {10.4230/DagSemProc.04351.6}, annote = {Keywords: Chu spaces , nerves , differential forms} }
Jonathan Gratus and Timothy Porter. A geometry of information, II: Sorkin models, and biextensional collapses. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gratus_et_al:DagSemProc.04351.7, author = {Gratus, Jonathan and Porter, Timothy}, title = {{A geometry of information, II: Sorkin models, and biextensional collapses}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.7}, URN = {urn:nbn:de:0030-drops-1271}, doi = {10.4230/DagSemProc.04351.7}, annote = {Keywords: Chu space , Sorkin model , Nerve} }
Chris God, Achim Jung, Robin Knight, and Ralph Kopperman. Auxiliary relations and sandwich theorems. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{god_et_al:DagSemProc.04351.8, author = {God, Chris and Jung, Achim and Knight, Robin and Kopperman, Ralph}, title = {{Auxiliary relations and sandwich theorems}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.8}, URN = {urn:nbn:de:0030-drops-1348}, doi = {10.4230/DagSemProc.04351.8}, annote = {Keywords: Adjoint , auxiliary relation , continuous poset , pairwise completely regular (and pairwise normal) bitopological space , upper (lower) semicontinuous Urysohn relation} }
Douglas Bridges, Hajime Ishihara, Peter Schuster, and Luminita S. Vita. Compactness in apartness spaces?. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{bridges_et_al:DagSemProc.04351.9, author = {Bridges, Douglas and Ishihara, Hajime and Schuster, Peter and Vita, Luminita S.}, title = {{Compactness in apartness spaces?}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.9}, URN = {urn:nbn:de:0030-drops-1175}, doi = {10.4230/DagSemProc.04351.9}, annote = {Keywords: Apartness , constructive , compact uniform space} }
Jamie Johnson and Tom Richmond. Continued Radicals. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{johnson_et_al:DagSemProc.04351.10, author = {Johnson, Jamie and Richmond, Tom}, title = {{Continued Radicals}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.10}, URN = {urn:nbn:de:0030-drops-1286}, doi = {10.4230/DagSemProc.04351.10}, annote = {Keywords: Continued radical} }
Ulrich Berger. Continuous Semantics for Termination Proofs. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{berger:DagSemProc.04351.11, author = {Berger, Ulrich}, title = {{Continuous Semantics for Termination Proofs}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--19}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.11}, URN = {urn:nbn:de:0030-drops-1300}, doi = {10.4230/DagSemProc.04351.11}, annote = {Keywords: Higher-order term rewriting , termination , domain theory} }
Martin Raussen. Deadlocks and Dihomotopy in Mutual Exclusion Models. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{raussen:DagSemProc.04351.12, author = {Raussen, Martin}, title = {{Deadlocks and Dihomotopy in Mutual Exclusion Models}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.12}, URN = {urn:nbn:de:0030-drops-1364}, doi = {10.4230/DagSemProc.04351.12}, annote = {Keywords: Mutual exclusion , deadlock detection , dihomotopy} }
Lisbeth Fajstrup. Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{fajstrup:DagSemProc.04351.13, author = {Fajstrup, Lisbeth}, title = {{Dihomotopy Classes of Dipaths in the Geometric Realization of a Cubical Set: from Discrete to Continuous and back again}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.13}, URN = {urn:nbn:de:0030-drops-1328}, doi = {10.4230/DagSemProc.04351.13}, annote = {Keywords: Cubical Complex , Higher Dimensional Automaton , Ditopology} }
Samson Abramsky and Bob Coecke. Discrete classical vs. continuous quantum data in abstract quantum mechanics. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{abramsky_et_al:DagSemProc.04351.14, author = {Abramsky, Samson and Coecke, Bob}, title = {{Discrete classical vs. continuous quantum data in abstract quantum mechanics}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.14}, URN = {urn:nbn:de:0030-drops-1316}, doi = {10.4230/DagSemProc.04351.14}, annote = {Keywords: Category theory , strong compact closure , quantum information-flow} }
Hideki Tsuiki. Dyadic Subbases and Representations of Topological Spaces. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{tsuiki:DagSemProc.04351.15, author = {Tsuiki, Hideki}, title = {{Dyadic Subbases and Representations of Topological Spaces}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.15}, URN = {urn:nbn:de:0030-drops-1376}, doi = {10.4230/DagSemProc.04351.15}, annote = {Keywords: Dyadic subbase , embedding , computation over topological spaces , Plotkin's \$T^\backslashomega\$} }
Edward L. F. Moore, Thomas J. Peters, David R. Ferguson, and Neil F. Stewart. Integrating Topology and Geometry for Macro-Molecular Simulations. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{moore_et_al:DagSemProc.04351.16, author = {Moore, Edward L. F. and Peters, Thomas J. and Ferguson, David R. and Stewart, Neil F.}, title = {{Integrating Topology and Geometry for Macro-Molecular Simulations}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.16}, URN = {urn:nbn:de:0030-drops-1240}, doi = {10.4230/DagSemProc.04351.16}, annote = {Keywords: Computational topology , spline , approximation} }
Martin Kovar. On Maximality of Compact Topologies. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kovar:DagSemProc.04351.17, author = {Kovar, Martin}, title = {{On Maximality of Compact Topologies}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.17}, URN = {urn:nbn:de:0030-drops-1182}, doi = {10.4230/DagSemProc.04351.17}, annote = {Keywords: de Groot dual , compact saturated set , wide Scott open filter , maximal compact topology} }
Hans-Peter A. Künzi and Dominic van der Zypen. The Construction of Finer Compact Topologies. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kunzi_et_al:DagSemProc.04351.18, author = {K\"{u}nzi, Hans-Peter A. and Zypen, Dominic van der}, title = {{The Construction of Finer Compact Topologies}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.18}, URN = {urn:nbn:de:0030-drops-1224}, doi = {10.4230/DagSemProc.04351.18}, annote = {Keywords: Maximal compact , KC-space , sober , US-space , locally compact , sequential , sequentially compact} }
Martin Kovar. The de Groot dual for general collections of sets. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kovar:DagSemProc.04351.19, author = {Kovar, Martin}, title = {{The de Groot dual for general collections of sets}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.19}, URN = {urn:nbn:de:0030-drops-1215}, doi = {10.4230/DagSemProc.04351.19}, annote = {Keywords: Saturated set , dual topology , compactness operator} }
Martin Kovar. The Hofmann-Mislove Theorem for general posets. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kovar:DagSemProc.04351.20, author = {Kovar, Martin}, title = {{The Hofmann-Mislove Theorem for general posets}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.20}, URN = {urn:nbn:de:0030-drops-1199}, doi = {10.4230/DagSemProc.04351.20}, annote = {Keywords: Posets , generalized Scott topology , Scott open filters , (filtered) compactness , saturated} }
Martin Kovar. The Hofmann-Mislove Theorem for general topological structures. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kovar:DagSemProc.04351.21, author = {Kovar, Martin}, title = {{The Hofmann-Mislove Theorem for general topological structures}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.21}, URN = {urn:nbn:de:0030-drops-1208}, doi = {10.4230/DagSemProc.04351.21}, annote = {Keywords: Compact saturated set , Scott open filter , (quasi-) sober space} }
Ralph Kopperman, Steve Matthews, and Homeira Pajoohesh. What do partial metrics represent?. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kopperman_et_al:DagSemProc.04351.22, author = {Kopperman, Ralph and Matthews, Steve and Pajoohesh, Homeira}, title = {{What do partial metrics represent?}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.22}, URN = {urn:nbn:de:0030-drops-1239}, doi = {10.4230/DagSemProc.04351.22}, annote = {Keywords: Metric , partial metric , base point} }
Feedback for Dagstuhl Publishing