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 条
  • [1] Proving Behavioural Apartness
    Turkenburg, Ruben
    Beohar, Harsh
    Kupke, Clemens
    Rot, Jurriaan
    COALGEBRAIC METHODS IN COMPUTER SCIENCE, CMCS 2024, 2024, 14617 : 156 - 173
  • [2] Proving the correctness of behavioural implementations
    Bidoit, M
    Hennicker, R
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 152 - 168
  • [3] Affect, behavioural schemas and the proving process
    Selden, Annie
    McKee, Kerry
    Selden, John
    INTERNATIONAL JOURNAL OF MATHEMATICAL EDUCATION IN SCIENCE AND TECHNOLOGY, 2010, 41 (02) : 199 - 215
  • [4] Proving properties for behavioural specifications with term observation
    Berregeb, Narjes
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (10) : 1413 - 1425
  • [5] Inverse semigroups with apartness
    Alessandra Cherubini
    Achille Frigeri
    Semigroup Forum, 2019, 98 : 571 - 588
  • [6] RELATING APARTNESS AND BISIMULATION
    Geuvers, Herman
    Jacobs, Bart
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (03) : 15:1 - 15:35
  • [7] CONVERSE EXTENSIONALITY AND APARTNESS
    van den Berg, Benno
    Passmann, Robert
    LOGICAL METHODS IN COMPUTER SCIENCE, 2022, 18 (04)
  • [8] Apartness, compactness and nearness
    Bridges, Douglas
    Ishihara, Hajime
    Schuster, Peter M.
    Vita, Luminita
    THEORETICAL COMPUTER SCIENCE, 2008, 405 (1-2) : 3 - 10
  • [9] Inverse semigroups with apartness
    Cherubini, Alessandra
    Frigeri, Achille
    SEMIGROUP FORUM, 2019, 98 (03) : 571 - 588
  • [10] Semigroups with apartness
    Crvenkovic, Sinisa
    Mitrovic, Melanija
    Romano, Daniel Abraham
    MATHEMATICAL LOGIC QUARTERLY, 2013, 59 (06) : 407 - 414
12345