Domain theory and general relativity Keye Martin and Prakash Panangaden Naval Research Laboratory Center for High Assurance Computer Systems Washington DC[removed]removed] - Globally hyperbolic manifold - Document - PDFSEARCH.IO

First Page	Meta Content
	Domain theory and general relativity Keye Martin and Prakash Panangaden Naval Research Laboratory Center for High Assurance Computer Systems Washington DC[removed]removed] Add to Reading List Document Date: 2012-12-25 23:16:06 Open Document File Size: 186,23 KB Share Result on Facebook Company Spacetime / High Assurance Computer Systems / / / Facility Computer Science McGill University / / IndustryTerm crucial information processing aspect / information processing aspects / / Organization Keye Martin and Prakash Panangaden Naval Research Laboratory Center for High Assurance Computer Systems Washington DC / keye.martin@nrl.navy.mil School of Computer Science McGill University Montreal / / Person Dana Scott / / / ProgrammingLanguage DC / / SocialTag Structure Partially ordered set Causal sets Continuous function Domain theory Globally hyperbolic manifold Spacetime topology Completeness Filter Order theory

Domain theory and general relativity Keye Martin and Prakash Panangaden Naval Research Laboratory Center for High Assurance Computer Systems Washington DC[removed]removed]Add to Reading List