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 条

[21] Apartness spaces as a framework for constructive topology
Bridges, D
Vita, L
ANNALS OF PURE AND APPLIED LOGIC, 2003, 119 (1-3) : 61 - 83
[22] Apartness, topology, and uniformity: a constructive view
Bridges, D
Schuster, P
Vita, L
MATHEMATICAL LOGIC QUARTERLY, 2002, 48 : 16 - 28
[23] Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving
Jesus, Joabe
Sampaio, Augusto
SCIENCE OF COMPUTER PROGRAMMING, 2024, 236
[24] Sharp Elements and Apartness in Domains
de Jong, Tom
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (351): : 134 - 151
[25] Two subcategories of apartness spaces
Ishihara, Hajime
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (02) : 132 - 139
[26] INTUITIONISTIC ALGEBRA IN THE PRESENCE OF APARTNESS
RUITENBURG, W
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 697 - 698
[27] Quasi-apartness and neighbourhood spaces
Ishihara, Hajime
Mines, Ray
Schuster, Peter
Vita, Luminita
ANNALS OF PURE AND APPLIED LOGIC, 2006, 141 (1-2) : 296 - 306
[28] Apartness spaces and uniform neighbourhood structures
Bridges, Douglas S.
ANNALS OF PURE AND APPLIED LOGIC, 2016, 167 (09) : 850 - 864
[29] Proximal and uniform convergence on apartness spaces
Vita, LS
MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (03) : 255 - 259
[30] Apartness, sharp elements, and the Scott topology of domains
de Jong, Tom
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2023, 33 (07) : 573 - 604

← 1 2 3 4 5 →