Proving Behavioural Apartness

被引：0
|
作者：
Turkenburg, Ruben [1 ]
Beohar, Harsh [2 ]
Kupke, Clemens [3 ]
Rot, Jurriaan [1 ]
机构：
[1] Radboud University, Nijmegen, Netherlands
[2] University of Sheffield, Sheffield, United Kingdom
[3] Strathclyde University, Glasgow, United Kingdom
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2024年 / 14617 LNCS卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Fault tolerance
引用
收藏
页码：156 / 173
相关论文
共 50 条
  • [31] Basic notions of (constructive) semigroups with apartness
    Crvenkovic, Sinisa
    Mitrovic, Melanija
    Romano, Daniel Abraham
    SEMIGROUP FORUM, 2016, 92 (03) : 659 - 674
  • [32] Pre-apartness structures on spaces of functions
    Bridges, D. S.
    Vita, L. S.
    JOURNAL OF COMPLEXITY, 2006, 22 (06) : 881 - 893
  • [33] COMPUTING IN SOUTH-AFRICA - AN END TO APARTNESS
    GOODMAN, SE
    COMMUNICATIONS OF THE ACM, 1994, 37 (02) : 21 - 25
  • [34] Constructive Semigroups with Apartness: Towards a New Algebraic Theory
    Mitrovic, M.
    Silvestrov, S.
    Crvenkovic, S.
    Romano, D. A.
    32ND INTERNATIONAL COLLOQUIUM ON GROUP THEORETICAL METHODS IN PHYSICS (GROUP32), 2019, 1194
  • [35] Extending strongly continuous functions between apartness spaces
    Vîta, LS
    ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (03) : 351 - 356
  • [36] Separation properties in neighbourhood and quasi-apartness spaces
    Havea, Robin
    Ishihara, Hajime
    Vita, Luminita
    MATHEMATICAL LOGIC QUARTERLY, 2008, 54 (01) : 58 - 64
  • [37] Hilbert algebras in a non-classical framework: Hilbert algebras With apartness
    Romano, Daniel A.
    Journal of Applied Logics, 2020, 7 (03): : 337 - 359
  • [38] Extending strongly continuous functions between apartness spaces
    Luminiţa Simona Vîţă
    Archive for Mathematical Logic, 2006, 45 : 351 - 356
  • [39] APARTNESS AND TOGETHERNESS IN WIRTH,LOUIS URBANISM AS A WAY OF LIFE
    CHOLDIN, HM
    SUBURBIA RE-EXAMINED, 1989, 78 : 11 - 22
  • [40] Supermetrics over Apartness Lattice-Ordered Semigroup
    Ciobanu, Gabriel
    Rusu, Danut
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 202 : 191 - 200
12345