Causality in physics and computation. (English) Zbl 1360.68634
Summary: Glynn Winskel has had enormous influence on the study of causal structure in computer science. In this brief note, I discuss analogous concepts in relativity where also causality plays a fundamental role. I discuss spacetime structure in a series of layers and emphasize the role of causal structure. I close with some comparisons between causality in relativity and in distributed computing systems.
MSC:
| 68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
| 83C75 | Space-time singularities, cosmic censorship, etc. |
References:
| [1] | Lamport, L., Time, clocks, and the ordering of events in a distributed system, ACM Commun. Comput. Algebra, 21, 7, 558-565 (1978) · Zbl 0378.68027 |
| [2] | Winskel, G., Events in computation (1981), University of Edinburgh, PhD thesis |
| [3] | Hawking, S.; Ellis, G., The Large Scale Structure of Space-Time, Cambridge Monogr. Math. Phys. (1973), Cambridge University Press · Zbl 0265.53054 |
| [4] | Penrose, R., Techniques of Differential Topology in Relativity (1972), Society for Industrial and Applied Mathematics · Zbl 0321.53001 |
| [5] | Ehlers, J.; Pirani, F.; Schild, A., The geometry of free fall and light propagation, (O’Raiferteagh, L., General Relativity: Papers in Honour of J.L. Synge (1972), Clarendon Press), 63-84 · Zbl 0267.53036 |
| [6] | Woodhouse, N. M.J., The differentiable and causal structure of space-time, J. Math. Phys., 14, 495-501 (1973) · Zbl 0269.53026 |
| [7] | Kronheimer, E. H.; Penrose, R., On the structure of causal spaces, Proc. Cambridge Philos. Soc., 63, 481-501 (1967) · Zbl 0148.46502 |
| [8] | Petri, C. A., Kommunikation mit Automaten, (Schriften des IIM Nr. 2 (1962), Institut für Instrumentelle Mathematik: Institut für Instrumentelle Mathematik Bonn) |
| [9] | Petri, C. A., Fundamentals of a theory of asynchronous information flow, (Proc. of IFIP Congress 62 (1963), North Holland Publ. Comp.: North Holland Publ. Comp. Amsterdam), 386-390 · Zbl 0146.14404 |
| [10] | Petri, C. A., Nets, time and space, Theoret. Comput. Sci., 153, 1-2, 3-48 (1996) · Zbl 0872.68127 |
| [11] | Panangaden, P.; Taylor, K. E., Concurrent common knowledge, Distrib. Comput., 6, 73-93 (1992) · Zbl 0773.68009 |
| [12] | Winskel, G., Event structures (1986), University of Cambridge, Computer Laboratory, Tech. Rep. 95 |
| [13] | Winskel, G., Event structures as presheaves, (CONCUR 1999 (1999)), 541-556 · Zbl 0939.68087 |
| [14] | Varacca, D.; Völzer, H.; Winskel, G., Probabilistic event structure and domains, Theoret. Comput. Sci., 358, 2-3, 173-199 (2006) · Zbl 1099.68054 |
| [15] | Varacca, D.; Winskel, G., Distributing probability over nondeterminism, Math. Structures Comput. Sci., 16, 1, 87-113 (2006) · Zbl 1093.18002 |
| [16] | Winskel, G., Events, causality and symmetry, (BCS Int. Acad. Conf. (2008)), 111-127 |
| [17] | Bombelli, L.; Lee, J.; Meyer, D.; Sorkin, R., Spacetime as a causal set, Phys. Rev. Lett., 59, 521-524 (1987) |
| [18] | Sorkin, R., Spacetime and causal sets, (D’Olivo, J. C.; etal., Relativity and Gravitation: Classical and Quantum (1991), World Scientific) · Zbl 0972.83573 |
| [19] | Rideout, D. P.; Sorkin, R. D., A classical sequential growth dynamics for causal sets, Phys. Rev. D, 6, 024002 (2000) |
| [20] | Malament, D., The class of continuous timelike curves determines the topology of spacetime, J. Math. Phys., 18, 7, 1399-1404 (1977) · Zbl 0355.53033 |
| [21] | Martin, K.; Panangaden, P., A domain of spacetime intervals in general relativity, Comm. Math. Phys., 267, 3, 563-586 (2006) · Zbl 1188.83071 |
| [22] | Sorkin, R. D., An exercise in anhomomorphic logic, J. Phys. Conf. Ser., 67, 012018 (2007) |
| [23] | Gudder, S., An anhomomorphic logic for quantum mechanics, J. Phys. A, 43, 9 (2010) · Zbl 1191.81005 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
