@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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\$}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}