Causality in physics and computation

被引：6
|
作者：
Panangaden, Prakash [1 ]
机构：
[1] McGill Univ, Sch Comp Sci, Montreal, PQ H3A 2T5, Canada
来源：
THEORETICAL COMPUTER SCIENCE | 2014年 / 546卷
关键词：
Causal structure; Event structure; Spacetime; Petri nets; TIME;
D O I：
10.1016/j.tcs.2014.02.041
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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. (C) 2014 Published by Elsevier B.V.
引用
收藏
页码：10 / 16
页数：7
相关论文
共 50 条
  • [31] Time and causality in the social sciences
    Wunsch, Guillaume
    Russo, Federica
    Mouchart, Michel
    Orsi, Renzo
    TIME & SOCIETY, 2022, 31 (02) : 177 - 204
  • [32] A background independent notion of causality
    Capolupo, A.
    Quaranta, A.
    INTERNATIONAL JOURNAL OF GEOMETRIC METHODS IN MODERN PHYSICS, 2024, 21 (08)
  • [33] The null distance encodes causality
    Sakovich, A.
    Sormani, C.
    JOURNAL OF MATHEMATICAL PHYSICS, 2023, 64 (01)
  • [34] Causality and atomicity in distributed computations
    Kshemkalyani, AD
    DISTRIBUTED COMPUTING, 1998, 11 (04) : 169 - 189
  • [35] Dynamic Causality in Event Structures
    Arbach, Youssef
    Karcher, David
    Peters, Kirstin
    Nestmann, Uwe
    FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2015, 2015, 9039 : 83 - 97
  • [36] DYNAMIC CAUSALITY IN EVENT STRUCTURES
    Arbach, Youssef
    Karcher, David S.
    Peters, Kirstin
    Nestmann, Uwe
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
  • [37] Model Checking Concurrency and Causality
    Wolf, Karsten
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 159 - 178
  • [38] A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions
    Joost-Pieter Katoen
    Rom Langerak
    Ed Brinksma
    Diego Latella
    Tommaso Bolognesi
    Formal Methods in System Design, 1998, 12 : 189 - 216
  • [39] A consistent causality-based view on a timed process algebra including urgent interactions
    Katoen, JP
    Langerak, R
    Brinksma, E
    Latella, D
    Bolognesi, T
    FORMAL METHODS IN SYSTEM DESIGN, 1998, 12 (02) : 189 - 216
  • [40] A coalgebraic semantics for causality in Petri nets
    Bruni, Roberto
    Montanari, Ugo
    Sammartino, Matteo
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (06) : 853 - 883
12345