Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, and Dieter Spreen. 06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{kopperman_et_al:DagSemProc.06341.1, author = {Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter}, title = {{06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--23}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.1}, URN = {urn:nbn:de:0030-drops-9000}, doi = {10.4230/DagSemProc.06341.1}, annote = {Keywords: Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\backslash-topology, partial metrics} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Ingo Battenfeld, Matthias Schröder, and Alex Simpson. A convenient category of domains. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{battenfeld_et_al:DagSemProc.06341.2, author = {Battenfeld, Ingo and Schr\"{o}der, Matthias and Simpson, Alex}, title = {{A convenient category of domains}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.2}, URN = {urn:nbn:de:0030-drops-8945}, doi = {10.4230/DagSemProc.06341.2}, annote = {Keywords: Domain theory, topology of datatypes} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
John L. Pfaltz. Closure and Causality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{pfaltz:DagSemProc.06341.3, author = {Pfaltz, John L.}, title = {{Closure and Causality}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.3}, URN = {urn:nbn:de:0030-drops-8978}, doi = {10.4230/DagSemProc.06341.3}, annote = {Keywords: Closure, causality, antimatroid, temporal, software engineering} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Howard Blair. Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{blair:DagSemProc.06341.4, author = {Blair, Howard}, title = {{Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.4}, URN = {urn:nbn:de:0030-drops-8956}, doi = {10.4230/DagSemProc.06341.4}, annote = {Keywords: Hybrid space, convergence space, differential, calculus, chain rule, hybrid dynamical system, discrete structure, topological space} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Timothy Porter. Enriched categories and models for spaces of dipaths. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{porter:DagSemProc.06341.5, author = {Porter, Timothy}, title = {{Enriched categories and models for spaces of dipaths}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.5}, URN = {urn:nbn:de:0030-drops-8989}, doi = {10.4230/DagSemProc.06341.5}, annote = {Keywords: Enriched category} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Martin Maria Kovár. Instant topological relationships hidden in the reality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{kovar:DagSemProc.06341.6, author = {Kov\'{a}r, Martin Maria}, title = {{Instant topological relationships hidden in the reality}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.6}, URN = {urn:nbn:de:0030-drops-8962}, doi = {10.4230/DagSemProc.06341.6}, annote = {Keywords: Pointless topology, reality} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
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-dev.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} }
Feedback for Dagstuhl Publishing